Matteo Cimini. Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker. In William J. Bowman, Ronald Garcia, editors, Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. Volume 12053 of Lecture Notes in Computer Science, pages 21-37, Springer, 2019. [doi]
Abstract is missing.