![Software engineering / Declarative programming / Computer programming / Lambda calculus / Functional programming / Subroutines / Formal methods / Theoretical computer science / Combinatory logic / Let expression / Lambda lifting / Anonymous function Software engineering / Declarative programming / Computer programming / Lambda calculus / Functional programming / Subroutines / Formal methods / Theoretical computer science / Combinatory logic / Let expression / Lambda lifting / Anonymous function](https://www.pdfsearch.io/img/db538d391f78b33f318fbf29046151c9.jpg) Date: 2016-04-19 09:56:22Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function | | c ACM, 2009. 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 the Haskell SymAdd to Reading ListSource URL: ndmitchell.comDownload Document from Source Website File Size: 224,67 KBShare Document on Facebook
|