Jonathan Aldrich, Robert J. Simmons, Key Shin. SASyLF: an educational proof assistant for language theory. In Frank Huch, Adam Parkin, editors, Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. pages 31-40, ACM, 2008. [doi]
Abstract is missing.