Active Bibliography

(Invited – unknown authors
96 How to Declare an Imperative – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
35 Monads and Composable Continuations – Philip Wadler - 1993
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
10 Recursion from Iteration – Andrzej Filinski - 1994
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
93 A Critique of Standard ML – Andrew W. Appel - 1992
16 An Extended Type System for Exceptions – Juan Carlos Guzm'an - 1994
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
3 Embracing Windows – Colin J. Taylor - 1996
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993