[<<][meta][>>][..]
Mon Apr 1 20:02:12 EDT 2013

ai-type

What is a typed program?  It annotates each primitive node with a type
environment, i.e. each primitive would be type-parameterized

   (ta,tb,tc) -> ((a,b)->c)


[Reply][About]
[<<][meta][>>][..]