- The set constraint/CFL reachability connection in practice John Kodumal Alex Aiken Mon 22 July 2013
- The complexity of set constraints Alexander Aiken Dexter Kozen Moshe Vardi Ed Wimmers Wed 17 July 2013
- Subtyping with union types, intersection types and recursive types Flemming M. Damm Wed 17 July 2013
- Soft typing with conditional types Alexander Aiken Edward L. Wimmers T. K. Lakshman Wed 17 July 2013
- Type inclusion constraints and type inference Alexander Aiken Edward L. Wimmers Mon 01 July 2013
- Set constraints: Results, applications and future directions Alexander Aiken Mon 01 July 2013
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
