Partial type inference for untyped functional programs (extended abstract (1990)

by C Gomard
Venue:In Proc. LISP and Functional Programming (LFP