In addition to traditional record and variant types, Objective Caml has structurally polymorphic types, for objects and polymorphic variants. These types allow new forms of polymorphic programming, but they have a limitation when used in combination with modules: there is no way to abstract their polymorphism in a signature. Private row types remedy this situation: they are manifest types whose "row-variable" is left abstract, so that an implementation may instantiate it freely. They have useful applications even in the absence of functors. Combined with recursive modules, they provide an original solution to the expression problem. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Garrigue, J. (2006). Private row types: Abstracting the unnamed. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4279 LNCS, pp. 44–60). Springer Verlag. https://doi.org/10.1007/11924661_3
Mendeley helps you to discover research relevant for your work.