The Duality of Classical Intersection and Union Types
Downen, Paul, Ariola, Zena M., Ghilezan, Silvia, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1855
Date:
October, 2019
File:
PDF, 486 KB
2019