- Undecidability of asynchronous session subtyping Mario Bravetti Marco Carbone Gianluigi Zavattaro Tue 28 November 2017
- Polymorphic Regular Tree Types and Patterns Jérôme Vouillon Mon 23 January 2017
- Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types Alain Frisch Giuseppe Castagna Véronique Benzaken Mon 23 January 2017
- XDuce: A Statically Typed XML Processing Language Haruo Hosoya Benjamin C. Pierce Mon 23 January 2017
- Regular Expression Types for XML Haruo Hosoya Jérôme Vouillon Benjamin C. Pierce Tue 17 January 2017
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
