Biblio

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Author is G. Castagna  [Clear All Filters]
Conference Paper
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.
Journal Article
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.