The Marriage of Effects and Monads (1998)

by Philip Wadler , Peter Thiemann
Citations:92 - 4 self

Active Bibliography

47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
96 How to Declare an Imperative – Philip Wadler - 1995
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
2 An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes – Jaeyoun Chung - 2000
Effectful progamming Type inference for effects with natural subtyping (Draft, submitted to APLAS’10) – Ross Tate, Daan Leijen
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
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
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants