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