A Generic Account of Continuation-Passing Styles (1994)

View PDF

Download Links

by John Hatcliff , Olivier Danvy
Venue:Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages
Citations:90 - 35 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
280 The essence of compiling with continuations – C Flanagan, A Sabry, B F Duba, M Felleisen - 1993
467 Comprehending Monads – Philip Wadler - 1992
1353 Monads for functional programming – Philip Wadler - 1995
634 Compiling with Continuations – A Appel - 1992
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
170 Reasoning about Programs in Continuation-Passing Style – Amr Sabry, et al. - 1993
308 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990