- On the Transformation between Direct and Continuation Semantics Olivier Danvy John Hatcliff Wed 26 June 2013
- CPS-transformation after strictness analysis Olivier Danvy John Hatcliff Wed 26 June 2013
- Reasoning about programs in continuation-passing style Amr Sabry Matthias Felleisen Mon 17 June 2013
- Continuation semantics in typed lambda-calculi AlbertR. Meyer Mitchell Wand Thu 02 May 2013
- Representing Control: a Study of the CPS Transformation Oliver Danvy Andrzex Filinski Thu 02 May 2013
- Control operators, the SECD-machine, and the lambda-calculus Matthias Felleisen Daniel P. Friedman Mon 11 March 2013
- A formulae-as-type notion of control Timothy G. Griffin Mon 11 March 2013
- Call with Current Continuation Patterns Darrell Ferguson Dwight Deugo Fri 01 March 2013
- Call-by-Name, Call-by-Value and the lambda-Calculus Gordon Plotkin Wed 30 January 2013
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
