Partial Type Inference for Untyped Functional Programs (Extended Abstract (1990)

by C Gomard
Venue:In Proceedings LISP and Functional Programming (LFP ’90