Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer. Dynamic Editors for Well-Typed Expressions. In Viktória Zsók, John Hughes, editors, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers. Volume 12834 of Lecture Notes in Computer Science, pages 44-66, Springer, 2021. [doi]
Abstract is missing.