Monadic Style Control Constructs For Inference Systems (2002)

Cached

Download Links

by Jean-Marie Chauvet
Citations:2 - 1 self

Active Bibliography

MONADIC STYLE CONTROL CONSTRUCTS FOR INFERENCE SYSTEMS – unknown authors - 2002
MEMORY AS A MONADIC CONTROL CONSTRUCT IN PROBLEM-SOLVING – unknown authors - 2004
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
4 A monadic framework for subcontinuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry - 2005
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
15 Linguistic Side Effects – Chung-Chieh Shan - 2003
3 Polarity and the Logic of Delimited Continuations – Noam Zeilberger
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
49 Back to Direct Style – Olivier Danvy - 1994
3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998
30 Minimal Classical Logic and Control Operators – Zena Ariola, Hugo Herbelin - 2003
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995