Active Bibliography

75 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper
39 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
3 Programmable Concurrency in a Pure and Lazy Language – Peng Li, Steve Zdancewic, Rajeev Alur - 2008
20 Transactional Events – Kevin Donnelly, Matthew Fluet - 2008
1st Year Transfer Dissertation – Joel Wright - 2003
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
30 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING BY – Robert L. Bocchino
2 A Component-Based Approach to Concurrent Declarative Programming – Rachid Echahed, Wendelin Serwe - 2001
11 Safe and Principled Language Interoperation – Valery Trifonov, Zhong Shao - 1999
unknown title – Tackling The Awkward Squad:monadic Input/output - 2009
2 D.: TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development – Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo - 1991
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
16 Embedded Interpreters – Nick Benton - 2003
45 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner