conf.researchr.org / Mikkel Klinke Kettunen

Not registered as user yet

Name:Mikkel Klinke Kettunen
Affiliation:Department of Computer Science, Aalborg University, Denmark

Contributions

FTfJP 2021 Author of Behavioural Separation with Parallel Usages within the FTfJP-track
APLAS 2020 Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track