Value Transforming Style (1992)

Cached

Download Links

by Christian Queinnec
Citations:5 - 2 self

Documents Related by Co-Citation

58 Abstract continuations: a mathematical semantics for handling full jumps – M FELLEISEN, M WAND, D FRIEDMAN, B DUBA - 1988
56 Danvy and Andrzej Filinski. Abstracting Control – Olivier - 1990
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
703 Introduction to Metamathematics – S Kleene - 1952
734 Notions of Computation and Monads – Eugenio Moggi - 1991
151 The theory and practice of first-class prompts – Matthias Felleisen
459 Comprehending Monads – Philip Wadler - 1992
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972