Biblio

Export 2 results:
Author [ Title(Asc)] Type Year
Filters: Author is G. Castagna  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
A. Frisch, Castagna, G., and Benzaken, V., “Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types”, Journal of the ACM, vol. 55, pp. 1–64, 2008.
P
V. Benzaken, Castagna, G., Colazzo, D., and Miachon, C., “Pattern by Example: Type-driven Visual Programming of XML Queries.”, in 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 2008.