A type-safe structure editor calculus

Christian Godiksen*, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'A type-safe structure editor calculus'. Sammen danner de et unikt fingeraftryk.

Computer Science