Monads and Effects (2000)

View PDF

Download Links

by Nick Benton , John Hughes , Eugenio Moggi
Venue:IN INTERNATIONAL SUMMER SCHOOL ON APPLIED SEMANTICS APPSEM’2000
Citations:63 - 6 self

Active Bibliography

208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
766 Notions of Computation and Monads – Eugenio Moggi - 1991
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1353 Monads for functional programming – Philip Wadler - 1995
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
523 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
518 Enforceable Security Policies – Fred B. Schneider