Dynamic Types and Type Dependent Functions (1998)

by M Pil
Venue:Proceedings of the 10th International Workshop on the Implementation of Functional Languages, volume 1595 of Lecture Notes in Computer Science