Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types

Alain Frisch (1) , Giuseppe Castagna (2) , Véronique Benzaken (3)

1 LexiFi [Boulogne-Billancourt]
2 PPS - Preuves, Programmes et Systèmes
3 LRI - Laboratoire de Recherche en Informatique

Domaines: Langage de programmation [cs.PL]; Logique en informatique [cs.LO]

Alain Frisch, Giuseppe Castagna, Véronique Benzaken. Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM (JACM), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩. ⟨hal-00336120⟩