[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