Programming with polymorphic variants Export

@misc{citeulike:600750, abstract = {Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an active area of research since more than 10 years ago, and many results have been obtained. However these results are yet to be applied to real programming languages. Based on our experience with the Objective Label system, we describe how variant polymorphism can be integrated in a programming language, and what are the benefits. We give a detailed account of our type inference and compilation...}, author = {Garrigue, J.}, citeulike-article-id = {600750}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/garrigue98programming.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/garrigue98programming.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/garrigue98programming.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/garrigue98programming.html}, keywords = {pattern-matching, polymorphic-variants, polymorphism, structural-types, subtyping, type-inference}, posted-at = {2006-04-25 22:45:12}, priority = {2}, title = {Programming with polymorphic variants}, url = {http://citeseer.ist.psu.edu/garrigue98programming.html}, year = {1998} }

TY - GEN ID - citeulike:600750 L3 - citeulike-article-id:600750 N2 - Type inference for structural polymorphism ---i.e. record and variant polymorphism--- has been an active area of research since more than 10 years ago, and many results have been obtained. However these results are yet to be applied to real programming languages. Based on our experience with the Objective Label system, we describe how variant polymorphism can be integrated in a programming language, and what are the benefits. We give a detailed account of our type inference and compilation... TI - Programming with polymorphic variants KW - pattern-matching KW - polymorphic-variants KW - polymorphism KW - structural-types KW - subtyping KW - type-inference AU - Garrigue, J PY - 1998/// UR - http://citeseer.ist.psu.edu/garrigue98programming.html ER -