![Computability theory / Recursion / Theoretical computer science / Models of computation / Formal methods / Lambda calculus / Standard ML / Free variables and bound variables / Scheme / Software engineering / Computing / Mathematics Computability theory / Recursion / Theoretical computer science / Models of computation / Formal methods / Lambda calculus / Standard ML / Free variables and bound variables / Scheme / Software engineering / Computing / Mathematics](https://www.pdfsearch.io/img/22064816e28da09610b9f72a17231f1c.jpg) Date: 2009-12-15 04:49:16Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics | | Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. WellsAdd to Reading ListSource URL: pauillac.inria.frDownload Document from Source Website File Size: 609,80 KBShare Document on Facebook
|