Jeroen Fokker. Explaining Algebraic Theory with Functional Programs. In Pieter H. Hartel, Marinus J. Plasmeijer, editors, Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Volume 1022 of Lecture Notes in Computer Science, pages 139-158, Springer, 1995.
Abstract is missing.