conf.researchr.org / Thomas Herrmann
Not registered as user yet
Name:Thomas Herrmann
Affiliation:Department of Computer Science, Aalborg University
Contributions
| PEPM 2021 | Author of A Type-Safe Structure Editor Calculus within the PEPM 2021-track |
Not registered as user yet
Contributions
| PEPM 2021 | Author of A Type-Safe Structure Editor Calculus within the PEPM 2021-track |