Active Bibliography

20 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
459 Comprehending Monads – Philip Wadler - 1992
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
98 How to Declare an Imperative – Philip Wadler - 1995