Back to Results
First PageMeta Content
Lambda calculus / Functional programming / Theoretical computer science / Logic in computer science / Continuation-passing style / Combinatory logic / Eval / Monad / Derivative / Free variables and bound variables / Lambda calculus definition / A-normal form


Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science
Add to Reading List

Document Date: 2011-10-24 10:44:59


Open Document

File Size: 382,03 KB

Share Result on Facebook