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

Datum	Value	Source
TITLE	From Hindley-Milner types to first-class structures	INFERENCE
AUTHOR NAME	Mark P. Jones	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computer Science, University of Nottingham,	SVM HeaderParse 0.2
AUTHOR ADDR	University Park, Nottingham NG7 2RD, England.	SVM HeaderParse 0.2
ABSTRACT	We describe extensions of the Hindley-Milner type system to support higher-order polymorphism and first-class structures with polymorphic components. The combination of these features results in a ‘core language ’ that rivals the expressiveness of the Standard ML module system in some respects and exceeds it in others. 1	SVM HeaderParse 0.2
YEAR	1995	INFERENCE
VENUE	In Proceedings of the Haskell Workshop	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	115--136	INFERENCE
VOLUME	25	INFERENCE
TECH	Research Report YALEU/DCS/RR-1075	INFERENCE
CITATIONS	43 found	ParsCit 1.0