Mikkel Korup Lauridsen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Christian Godiksenonce
- Hans Hüttelonce
- Iman Owliaieonce
all 7 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures | PEPM 2021 | 2021-01-18 |
Two short papers: one builds a type-safe editor calculus with cursors, holes, breakpoints and a small-step semantics and gives a behavioral type system… | ||
| nothing matches | ||