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

1 Citationer (Scopus)
OriginalsprogEngelsk
TitelPEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021
Antal sider13
ForlagAssociation for Computing Machinery
Publikationsdato18 jan. 2021
Sider1-13
ISBN (Elektronisk)9781450383059
DOI
StatusUdgivet - 18 jan. 2021
Begivenhed2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021 - Virtual, Online, Danmark
Varighed: 18 jan. 202119 jan. 2021

Konference

Konference2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021
Land/OmrådeDanmark
ByVirtual, Online
Periode18/01/202119/01/2021
SponsorACM SIGPLAN
NavnPEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

Bibliografisk note

Publisher Copyright:
© 2021 ACM.

Fingeraftryk

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

Citationsformater