Back to Results
First PageMeta Content
Software engineering / Logic / Declarative programming / Models of computation / Computability theory / Lambda calculus / Theoretical computer science / Continuation-passing style / Free variables and bound variables / Substitution


ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages
Add to Reading List

Document Date: 2013-04-16 05:40:44


Open Document

File Size: 916,56 KB

Share Result on Facebook