conf.researchr.org / Milo Turner
Registered user since Thu 31 Aug 2017
Name:Milo Turner
Contributions
| POPL 2020 | Author of Dependent Type Systems as Macros within the Research Papers-track |
Registered user since Thu 31 Aug 2017
Contributions
| POPL 2020 | Author of Dependent Type Systems as Macros within the Research Papers-track |