Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 From Hindley-Milner Types to First-Class Structures
From Hindley-Milner Types to First-Class Structures
Mark P. Jones,
Proceedings of the Haskell Workshop, La Jolla, California, Yale University
Research Report YALEU/DCS/RR-1075, June 25, 1995.
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.