Controlling Effects (1996)

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

Active Bibliography

15 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
96 How to Declare an Imperative – Philip Wadler - 1995
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
7 Language Extension via First-class Interpreters – John Wiseman Simmons, II, Stanley Jefferson, Daniel P. Friedman - 1992
2 Transluscent Procedures, Abstraction Without Opacity – Guillermo J. Rozas - 1993
45 Logic Meta Programming, a . . . – Kris De Volder, et al.
80 Revised 4 report on the algorithmic language Scheme – William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1991
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
On the Finiteness of Resources in Distributed Computing – Luc Moreau, Luc Moreau (u. Of Southampton, Luc Moreau (u. Of Southampton, Christian Queinnec (cristal, Christian Queinnec (cristal, Projet Cristal - 1996
94 A Critique of Standard ML – Andrew W. Appel - 1992
5 Value Transforming Style – Christian Queinnec - 1992
13 A Library of High Level Control Operators – Christian Queinnec - 1993
1 DONKEY ANAPHORA IS SIMPLY BINDING – Chris Barker, Chung-chieh Shan
18 Lightweight GUIs for Functional Programming – Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte - 1995
9 Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages – Sam Lindley - 2005
31 Implicit and Explicit Parallel Programming in Haskell – Mark P. Jones, Paul Hudak - 1993
1 Structuring Functional Programs By Using Monads – Davor Obradovic - 1998
3 Embracing Windows – Colin J. Taylor - 1996
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998