The Coherence of Languages with Intersection Types. in: Theoretical Aspects of (1991)

by J C Reynolds
Venue:Computer Software, International Conference TACS '91, Proceedings