Active Bibliography

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
459 Comprehending Monads – Philip Wadler - 1992
1318 Monads for functional programming – Philip Wadler - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
Applications of monads [Mac71, Man76] – Eugenio Moggi