Showing results 1 to 3 of 3
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Advisor(s):Dos Santos Oliveira, BC | 2023 | ||
Applicative Intersection Types Proceeding/Conference:The 20th Asian Symposium on Programming Languages and Systems (05/12/2022-10/12/2022, Auckland) | 25-Nov-2022 | ||
Contextual Typing Journal:Proceedings of the ACM on Programming Languages | 15-Aug-2024 |