A Structure Editor with Type-Safe Copy/Paste

Hans Hüttel, Anja Elisasen Lumholtz Nielsen, Nana Gjerulf Sandberg, Christoffer Lind Andersen, Peter Mikkelsen. A Structure Editor with Type-Safe Copy/Paste. In Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, IFL 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022. ACM, 2022. [doi]

Abstract

Abstract is missing.