![Software engineering / Declarative programming / Lambda calculus / Computer programming / Functional programming / A-normal form / Let expression / Fixed-point combinator / Exponentiation / Expression / Monad / Anonymous function Software engineering / Declarative programming / Lambda calculus / Computer programming / Functional programming / A-normal form / Let expression / Fixed-point combinator / Exponentiation / Expression / Monad / Anonymous function](https://www.pdfsearch.io/img/a5b0996c2782fa962edf0382bf3af61c.jpg) 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, ISBNAdd to Reading ListSource URL: ndmitchell.comDownload Document from Source Website File Size: 221,22 KBShare Document on Facebook
|