CPS Transformation after Strictness Analysis (1993)

by Olivier Danvy , John Hatcliff , Cv Ffi S
Venue:ACM Letters on Programming Languages and Systems
Citations:27 - 10 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
220 Call-by-name, call-by-value and the #-calculus – G D Plotkin - 1975
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
272 The essence of compiling with continuations – Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen - 1993
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
625 Compiling with Continuations – A Appel - 1992
37 Specifying the correctness of binding-time analysis – M Wand - 1993
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988