Showing results 21 to 22 of 22
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
Typed First-Class Traits Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Unified Syntax with Iso-types Proceeding/Conference:Proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS) 2016 | 2016 |