A type-safe structure editor calculus

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

doi:10.1145/3441296.3441393

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Titel	PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021
Antal sider	13
Forlag	Association for Computing Machinery
Publikationsdato	18 jan. 2021
Sider	1-13
ISBN (Elektronisk)	9781450383059
DOI	https://doi.org/10.1145/3441296.3441393
Status	Udgivet - 18 jan. 2021
Begivenhed	2021 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. 2021 → 19 jan. 2021

Konference

Konference	2021 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åde	Danmark
By	Virtual, Online
Periode	18/01/2021 → 19/01/2021
Sponsor	ACM SIGPLAN

Navn	PEPM 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.

Adgang til dokumentet

10.1145/3441296.3441393

Andre filer og links

Link to publication in Scopus

Citationsformater

Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K., & Owliaie, I. (2021). A type-safe structure editor calculus. I PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021 (s. 1-13). Association for Computing Machinery. PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021 https://doi.org/10.1145/3441296.3441393

Godiksen, Christian ; Herrmann, Thomas ; Hüttel, Hans ; Lauridsen, Mikkel Korup ; Owliaie, Iman. / A type-safe structure editor calculus. PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, 2021. s. 1-13 (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

@inproceedings{62a82531c03c4d418bdc4a60f0ebc54f,

title = "A type-safe structure editor calculus",

keywords = "functional programming, structure editors, type systems",

author = "Christian Godiksen and Thomas Herrmann and Hans H{\"u}ttel and Lauridsen, {Mikkel Korup} and Iman Owliaie",

note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021 ; Conference date: 18-01-2021 Through 19-01-2021",

year = "2021",

month = jan,

day = "18",

doi = "10.1145/3441296.3441393",

language = "English",

series = "PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021",

pages = "1--13",

booktitle = "PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021",

publisher = "Association for Computing Machinery",

address = "United States",

}

Godiksen, C, Herrmann, T , Hüttel, H , Lauridsen, MK & Owliaie, I 2021, A type-safe structure editor calculus. i PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021, s. 1-13, 2021 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, 18/01/2021. https://doi.org/10.1145/3441296.3441393

A type-safe structure editor calculus. / Godiksen, Christian; Herrmann, Thomas ; Hüttel, Hans ; Lauridsen, Mikkel Korup; Owliaie, Iman.

PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, 2021. s. 1-13 (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - A type-safe structure editor calculus

AU - Godiksen, Christian

AU - Herrmann, Thomas

AU - Hüttel, Hans

AU - Lauridsen, Mikkel Korup

AU - Owliaie, Iman

PY - 2021/1/18

Y1 - 2021/1/18

KW - functional programming

KW - structure editors

KW - type systems

UR - http://www.scopus.com/inward/record.url?scp=85099731823&partnerID=8YFLogxK

U2 - 10.1145/3441296.3441393

DO - 10.1145/3441296.3441393

M3 - Article in proceeding

AN - SCOPUS:85099731823

T3 - PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

SP - 1

EP - 13

BT - PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

PB - Association for Computing Machinery

T2 - 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021

Y2 - 18 January 2021 through 19 January 2021

ER -

Godiksen C, Herrmann T , Hüttel H , Lauridsen MK, Owliaie I. A type-safe structure editor calculus. I PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery. 2021. s. 1-13. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021). https://doi.org/10.1145/3441296.3441393

A type-safe structure editor calculus

Konference

Bibliografisk note

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Citationsformater