@inproceedings{9ea68343c28f40f6b7f4e5874a8823a7,
title = "Experience report: The next 1100 Haskell programmers",
abstract = "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.",
keywords = "Haskell, competition, education, functional programming, induction, monads, quickcheck, smallcheck, testing",
author = "Blanchette, {Jasmin Christian} and Lars Hupel and Tobias Nipkow and Lars Noschinski and Dmitriy Traytel",
year = "2014",
doi = "10.1145/2633357.2633359",
language = "English",
isbn = "9781450330411",
series = "Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium",
publisher = "Association for Computing Machinery",
pages = "25--30",
booktitle = "Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium",
note = "2014 6th ACM SIGPLAN Haskell Symposium, Haskell 2014 ; Conference date: 04-09-2014 Through 05-09-2014",
}