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
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
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
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
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
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