![](/img/cover-not-exists.png)
Empowering union and intersection types with integrated subtyping
Muehlboeck, Fabian, Tate, RossVolume:
2
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3276482
Date:
October, 2018
File:
PDF, 504 KB
english, 2018