Typing First-Class Continuations in ML (1992)

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

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
538 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
625 Compiling With Continuations – A W Appel - 1992
94 Type assignment in programming languages – L Damas - 1985
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
939 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
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
60 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
22 Typage polymorphe d'un langage algorithmique. Doctoral dissertation (in – X Leroy - 1992
26 Typing References by Effect Inference – Andrew Wright - 1992
90 Revised report on the algorithmic language scheme – J Rees, W Clinger - 1986
94 The De nition of Standard ML – Robin Milner, Mads Tofte, David Macqueen - 1997
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980