Back to Results
First PageMeta Content
Models of computation / Dependently typed programming / Type theory / Functional languages / Functional programming / Generalized algebraic data type / Standard ML / Lambda calculus / Natural deduction / Software engineering / Declarative programming / Computing


Under consideration for publication in J. Functional Programming 1
Add to Reading List

Document Date: 2006-11-24 14:08:53

Open Document

File Size: 491,15 KB

Share Result on Facebook
UPDATE