Compiling with nonparamteric polymorphism (preliminary report (1994)

by R Harper, G Morrisett