A type-safe structure editor calculus.

Christian Godiksen, Thomas Herrmann, Hans Httel, Mikkel Korup Lauridsen, Iman Owliaie

Browse the full PEPM paper archive.