Programming with Polymorphic Variants


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 schemes.

4 Figures and Tables


Citations per Year

88 Citations

Semantic Scholar estimates that this publication has 88 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Garrigue1998ProgrammingWP, title={Programming with Polymorphic Variants}, author={Jacques Garrigue}, year={1998} }