Typing Haskell in Haskell (1999)

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

Active Bibliography

9 Exploring the Design Space for Type-based Implicit Parameterization – Mark P. Jones - 1999
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
55 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
47 First-class Polymorphism with Type Inference – Mark P. Jones
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
Preface – Michael I. Schwartzbach - 1995
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
A Second Look at Overloading – Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr - 1995
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
4 Designing Record Systems – Martin Sulzmann - 1997
2 Principal Typing and Mutual Recursion – Lucilia Figueiredo, Carlos Camarao, Carlos Camar~ao, Ouro Preto, Ouro Preto, Belo Horizonte - 2001
4 Implicit Polymorphic Type System for the Blue Calculus – Silvano Dal-Zilio, Silvano Dal-zilio, Projet Meije - 1997
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão - 2003
24 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993