DMCA

On the Unification of Substitutions in Type Inference (1998)

by Bruce J. Mcadam
Venue:Implementation of Functional Languages (IFL ’98
Citations:31 - 3 self