Simple imperative polymorphism (1995)

by A Wright
Venue:LISP and Symbolic Computation