Active Bibliography

12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
459 Comprehending Monads – Philip Wadler - 1992
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
568 Term Rewriting Systems – J. W. Klop - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998