Extensional polymorphism

1 January 1995

proceedings article
Published by Association for Computing Machinery (ACM)

p. 118-129
https://doi.org/10.1145/199448.199473

Abstract

We present the extensional polymorphism, a framework to type check ad hoc polymorphic functions. This formalism is compatible with parametric polymorphism, and supports a large class of functions defined by structural pattern matching on types.

Keywords

CAML
TYPE CHECK
LARGE CLASS
GENERICITY
AD-HOC POLYMORPHISM
FUNCTIONAL LANGUAGE
EXTENSIONAL POLYMORPHISM
TYPE CHECKING
POLYMORPHISM
STRUCTURAL PATTERN
DYNAMICS
PARAMETRIC POLYMORPHISM
DEBUGGING
ML

This publication has 0 references indexed in Scilit: