Active Bibliography

91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
A Logical View of Effects – Sungwoo Park , Robert Harper
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
32 Transactional Events – Kevin Donnelly, Matthew Fluet - 2008
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
2 An effect system and language for DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING – Robert L. Bocchino - 2010
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
51 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006
3 TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development – Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo - 2006
5 Programmable Concurrency in a Pure and Lazy Language – Peng Li, Steve Zdancewic, Rajeev Alur - 2008
19 Embedded Interpreters – Nick Benton - 2003
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
1 Equality Saturation: Engineering Challenges and Applications – Michael Benjamin Stepp - 2011
41 A Semi-Monad for Semi-Structured Data – Mary Fernandez, Jérôme Siméon, Philip Wadler - 2001