Categories
2 pages
PL
Programming Language & Promised Land
Foundations and Applications of Intersection and Union Types (PDF)
Safety & Abstraction