Back to Results
First PageMeta Content
Software engineering / Declarative programming / Lambda calculus / Computer programming / Functional programming / A-normal form / Let expression / Fixed-point combinator / Exponentiation / Expression / Monad / Anonymous function


c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN
Add to Reading List

Open Document

File Size: 221,22 KB

Share Result on Facebook