[Club2] Rehearsal talk by Lars Hupel: The Next 1100 Haskell Programmers

Lars Hupel hupel at in.tum.de
Wed Aug 6 09:42:34 CEST 2014


Hello everyone,

next week after Lorenz' talk, I'm going to give a rehearsal talk for our
paper at the Haskell Symposium.

Experience Report: The Next 1100 Haskell Programmers
Blanchette, Hupel, Nipkow, Noschinski, Traytel
Wed., Aug. 13, 14:30, Room: Turing (00.09.038)
=======================================================

We report on our experience teaching a Haskell-based functional
programming course to over 1100 students for two winter terms. The
syllabus was organized around selected material from various sources.
Throughout the terms, we emphasized correctness through QuickCheck tests
and proofs by induction. The submission architecture was coupled with
automatic testing, giving students the possibility to correct mistakes
before the deadline. To motivate the students, we complemented the
weekly assignments with an informal competition and gave away trophies
in a award ceremony.

Cheers
Lars


More information about the Club2 mailing list