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