Simple Imperative Polymorphism Export

@article{citeulike:894076, abstract = {. This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that incorporate imperative features like references, exceptions, and continuations. This extension sacrifices the ability to type every purely functional expression that is typable in the Hindley-Milner system. In return, it assigns the same type to functional and imperative implementations of the same abstraction. Hence with a module system that separates specifications from...}, author = {Wright, Andrew K.}, citeulike-article-id = {894076}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096}, journal = {Lisp and Symbolic Computation}, keywords = {ml, types, value-restriction}, number = {4}, pages = {343--355}, posted-at = {2007-05-23 02:50:48}, priority = {2}, title = {Simple Imperative Polymorphism}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096}, volume = {8}, year = {1995} }

TY - JOUR ID - citeulike:894076 L3 - citeulike-article-id:894076 N2 - . This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that incorporate imperative features like references, exceptions, and continuations. This extension sacrifices the ability to type every purely functional expression that is typable in the Hindley-Milner system. In return, it assigns the same type to functional and imperative implementations of the same abstraction. Hence with a module system that separates specifications from... IS - 4 JF - Lisp and Symbolic Computation EP - 355 TI - Simple Imperative Polymorphism VL - 8 SP - 343 KW - ml KW - types KW - value-restriction AU - Wright, Andrew PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5096 ER -