Discrete polymorphism (summary (1990)

by Daniel Leivant
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming