Typing First-Class Continuations in ML (1992)

by Robert Harper , Bruce F. Duba , David Macqueen
Citations:95 - 14 self

Documents Related by Co-Citation

1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
542 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
110 Type inference for polymorphic references – M Tofte - 1990
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
620 Compiling with Continuations – A W Appel - 1992
95 Type assignment in programming languages – L M M Damas - 1985
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
940 A theory of type polymorphism in programming – Robin Milner - 1978
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
172 Call-by-Name, Call-by-Value and the lambda-Calculus – Gordon D Plotkin - 1975
93 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
61 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
235 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
26 Typing References by Effect Inference – Andrew Wright - 1992
22 Typage polymorphe d'un langage algorithmique – X Leroy - 1992
90 Revised report on the algorithmic language scheme – J Rees, W Clinger - 1986
93 The De nition of Standard ML – R Milner, M Tofte, R Harper - 1990
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980