Mikkel Korup Lauridsen
Christian Godiksen
Thomas Herrmann
Hans Hüttel
Mikkel Korup Lauridsen
Iman Owliaie
A type-safe structure editor calculus.
1-13
2021
PEPM@POPL
https://doi.org/10.1145/3441296.3441393
https://www.wikidata.org/entity/Q130952503
conf/pepm/2021
db/conf/pepm/pepm2021.html#GodiksenHHLO21
Christian Godiksen
Thomas Herrmann
Hans Hüttel
Iman Owliaie