Abstract is missing.
- Htdp and dmda in the battlefield: a case study in first-year programming instructionAnnette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel. 1-12 [doi]
- The chilling descent: making the transition to a conventional curriculumPrabhakar Ragde. 13-20 [doi]
- Functional programming and theorem proving for undergraduates: a progress reportRex L. Page, Carl Eastlund, Matthias Felleisen. 21-30 [doi]
- SASyLF: an educational proof assistant for language theoryJonathan Aldrich, Robert J. Simmons, Key Shin. 31-40 [doi]
- Experimenting with formal languages using forlanAlley Stoughton. 41-50 [doi]
- A robot in every classroom: robots and functional programming across the curriculumDavid Wakeling. 51-60 [doi]
- Teaching functional programming with soccer-funPeter Achten. 61-72 [doi]
- Declarative language extensions for prolog coursesUlrich Neumerkel, Markus Triska, Jan Wielemaker. 73-78 [doi]
- Tips on teaching types and functionsFritz Ruehr. 79-90 [doi]