First-class Polymorphism with Type Inference Export

@inproceedings{citeulike:1533895, abstract = {Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data structures. The same languages o\#er parametric polymorphism, which allows the use of values that behave uniformly over a range of di\#erent types. But the combination of these features is not supported--- polymorphic values are not first-class. This restriction is sometimes attributed to the dependence of such languages on...}, address = {Paris, France}, author = {Jones, Mark P.}, booktitle = {Conference Record of POPL\~{}'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages}, citeulike-article-id = {1533895}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8118}, keywords = {higher-ranked-types, impredicative-types, polymorphism}, month = {JanuaryMay--JanuaryJuly}, pages = {483--496}, posted-at = {2007-08-03 21:23:32}, priority = {4}, title = {First-class Polymorphism with Type Inference}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8118}, year = {1997} }

TY - CONF ID - citeulike:1533895 L3 - citeulike-article-id:1533895 N2 - Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data structures. The same languages o#er parametric polymorphism, which allows the use of values that behave uniformly over a range of di#erent types. But the combination of these features is not supported--- polymorphic values are not first-class. This restriction is sometimes attributed to the dependence of such languages on... AD - Paris, France EP - 496 TI - First-class Polymorphism with Type Inference T2 - Conference Record of POPL~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages SP - 483 KW - higher-ranked-types KW - impredicative-types KW - polymorphism AU - Jones, Mark PY - 1997/15--17// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8118 ER -