External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A type-safe structure editor calculus

Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie. A type-safe structure editor calculus. In Sam Lindley, Torben Æ. Mogensen, editors, Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. pages 1-13, ACM, 2021. [doi]

Authors

Christian Godiksen

This author has not been identified. Look up 'Christian Godiksen' in Google

Thomas Herrmann

This author has not been identified. Look up 'Thomas Herrmann' in Google

Hans Hüttel

This author has not been identified. Look up 'Hans Hüttel' in Google

Mikkel Korup Lauridsen

This author has not been identified. Look up 'Mikkel Korup Lauridsen' in Google

Iman Owliaie

This author has not been identified. Look up 'Iman Owliaie' in Google
runs on