A Functional Abstraction of Typed Contexts (1989)

Cached

Download Links

by Olivier Danvy , Andrzej Filinski
Citations:65 - 8 self

Documents Related by Co-Citation

94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
130 Representing Monads – Andrzej Filinski - 1994
150 The theory and practice of first-class prompts – M Felleisen - 1988
58 Abstract continuations: A mathematical semantics for handling full functional jumps – M Felleisen, M Wand, D P Friedman, B F Duba - 1988
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
26 Control Operators, Hierarchies, and Pseudo-Classical Type Systems: A-Translation at Work – C Murthy - 1992
49 Controlling Effects – Andrzej Filinski - 1996
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
24 Shift to control – Chung chieh Shan - 2004
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
20 Combinators for program generation – Peter Thiemann - 1999
24 Stores and partial continuations as first-class objects in a language and its environment – Gregory F Johnson, Dominic Duggan - 1988
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
35 Monads and Composable Continuations – Philip Wadler - 1993