Dynamic types and type dependent functions (1998)

by Marco Pil
Venue:In Implementation of Functional Languages