Representing Layered Monads (1999)

Cached

Download Links

by Andrzej Filinski
Venue:PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:55 - 2 self

Active Bibliography

11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
16 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
Modular Monadic Semantics – Sheng Liang, Paul Hudak
97 How to Declare an Imperative – Philip Wadler - 1995
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
13 A Library of High Level Control Operators – Christian Queinnec - 1993
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
Première partie – unknown authors
3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000