Active Bibliography

459 Comprehending Monads – Philip Wadler - 1992
98 How to Declare an Imperative – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1111 Proof-Carrying Code – George C. Necula - 1997
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
425 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996