Login / Signup

Mikkel Korup Lauridsen

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Type Checking
Graphical Models

Top Venues

PEPM@POPL
Publications