From Hindley-Milner types to first-class structures (1995)

Cached

Download Links

by Mark P. Jones
Venue:In Proceedings of the Haskell Workshop
Citations:14 - 0 self

Active Bibliography

67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
47 First-class Polymorphism with Type Inference – Mark P. Jones
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
102 Compiling with Types – Greg Morrisett - 1995
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
Type Theory for Programming Languages – Robert Harper - 1994
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
12 A Type System for Computer Algebra – Philip S. Santas - 1994
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991