Giuseppe Castagna

1. Programming with Union, Intersection, and Negation Types
   2021/11/05 by Giuseppe Castagna · 3 voices · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
2. The Design Principles of the Elixir Type System
   2023/06/10 by Giuseppe Castagna, Guillaume Duboc, José Valim · 5 voices · 2 citations
   Arts and Humanities · #Ancient Egypt and Archaeology #Ancient Mediterranean Archaeology and History #cs.PL
3. Semantic subtyping
   2008/09/01 by Alain Frisch, Giuseppe Castagna, Véronique Benzaken · 9 citations
   Computer Science · #Logic, programming, and type systems #Semantic Web and Ontologies #Advanced Database Systems and Queries
4. Set-theoretic types for polymorphic variants
   2016/06/03 by Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyễn +1 · 1 voice
   Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Engineering Research #cs.PL