Intersection and Union Types in the λµ ˜µ-calculus (2004)

by D Dougherty, S Ghilezan, P Lescanne
Venue:In Electronic Proceedings of 2nd International Workshop Intersection Types and Related Systems (ITRS’04