Biblio

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