A Logical View of Effects

Cached

Download Links

by Sungwoo Park , Robert Harper

Active Bibliography

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
67 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
9 A probabilistic language based on sampling functions – Sungwoo Park, Frank Pfenning - 2006
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
1 Cause and Effect: Type Systems for Effects and Dependencies – Geoffrey Washburn - 2005
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
26 A probabilistic language based upon sampling functions – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2005
96 How to Declare an Imperative – Philip Wadler - 1995
73 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003
16 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997