Types with intersection: An introduction (1992)

by J Roger Hindley
Venue:Formal Aspects of Computing