Controlling Effects (1996)

by Andrzej Filinski
Venue:U.S. DEPARTMENT OF LABOR, OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION
Citations:49 - 0 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
130 Representing Monads – Andrzej Filinski - 1994
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
1312 Monads for functional programming – Philip Wadler - 1995
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
395 LCF considered as a programming language – G Plotkin - 1977
171 Call-by-name, call-by-value, and the lambda calculus – Gordon Plotkin - 1975
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
150 The theory and practice of first-class prompts – M Felleisen - 1988
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997