Showing results 1 to 2 of 2
| Title | Author(s) | Issue Date | Views | |
|---|---|---|---|---|
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 |