From Hindley-Milner types to first-class structures

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

by Mark P. Jones

Venue:	In Proceedings of the Haskell Workshop
Citations:	14 - 0 self

63	Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
98	On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
46	First-class Polymorphism with Type Inference – Mark P. Jones
97	Compiling with Types – Greg Morrisett - 1995
36	Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
	Type Theory for Programming Languages – Robert Harper - 1994
80	A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
252	Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
21	Polymorphic Type Inference and Semi-Unification – Fritz Henglein - 1989
18	Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
22	Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
12	A Type System for Computer Algebra – Philip S. Santas - 1994
	Domain-Specific Embedded Languages – Kevin Backhouse - 2002
111	Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
3	Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
64	Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
	True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
86	An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
33	Typed Cross-Module Compilation – Zhong Shao - 1998