EPTCS 45 - ITRS 2010
Elaine Pimentel, Betti Venneri, Joe Wells (Eds.): Proceedings Fifth Workshop on Intersection Types and Related Systems. 2010 EPTCS 45 [ contents ]- Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti: Intersection Logic in sequent calculus style. ... 16-30
- Steffen van Bakel: Sound and Complete Typing for lambda-mu. ... 31-44
- Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind. ... 45-58
- Joshua Dunfield: Untangling Typechecking of Intersections and Unions. ... 59-70
- Luca Padovani: Session Types = Intersection Types + Union Types. ... 71-89
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team