Thunks (continued) (1992)

Cached

Download Links

by Olivier Danvy , John Hatcliff
Venue:Kansas State University
Citations:9 - 3 self

Documents Related by Co-Citation

71 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985
330 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
813 Notions of Computation and Monads – Eugenio Moggi - 1991
182 Reasoning about Programs in Continuation-Passing Style – Amr Sabry, et al. - 1993
670 Compiling with continuations – A W Appel - 1992
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1244 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
590 Lambda Calculi with Types – Henk Barendregt - 1993