Date: 2009-12-15 04:00:36Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering | | Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier LeroyAdd to Reading ListSource URL: pauillac.inria.frDownload Document from Source Website File Size: 255,20 KBShare Document on Facebook
|