Documents Related by Co-Citation

985 A theory of type polymorphism in programming – Robin Milner - 1978
358 How to make ad-hoc polymorphism less ad hoc – P Wadler, S Blott - 1989
383 ML for the Working Programmer – Lawrence C Paulson - 1996
381 Principal type-schemes for functional programs – L Damas, R Milner - 1982
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
131 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996