Typing Haskell in Haskell (1999)

by Mark P. Jones
Venue:Haskell Workshop
Citations:51 - 2 self

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
939 A theory of type polymorphism in programming – Robin Milner - 1978
67 Finding the source of type errors – M Wand - 1986
48 Parametric overloading in polymorphic programming languages – S Kaes - 1988
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
132 Qualified types: Theory and practice – M P Jones - 1992
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
121 Implementing Type Classes – John Peterson, Mark Jones
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
40 A maximum-flow approach to anomaly isolation in unification-based incremental type inference – G F Johnson, J A Walz - 1986
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
50 Proofs about a Folklore Let-Polymorphic Type Inference Algorithm – Oukseh Lee, Kwangkeun Yi - 1998
4 Traced premonoidal categories (Extended Abstract – N BENTON, M HYLAND - 2002
6 Semantics of fixIO РLevent Erkök, John Launchbury, Andrew Moran - 2001