Affiliation:
1. Technische Universität München, München, Germany
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference15 articles.
1. L.
Bulwahn
.
The new Quickcheck for Isabelle--Random exhaustive and symbolic testing under one roof
. In C. Hawblitzel and D. Miller editors CPP
2012 volume
7679
of
LNCS pages
92
--
108
.
Springer 2012. 10.1007/978-3-642-35308-6_10 L. Bulwahn. The new Quickcheck for Isabelle--Random exhaustive and symbolic testing under one roof. In C. Hawblitzel and D. Miller editors CPP 2012 volume 7679 of LNCS pages 92--108. Springer 2012. 10.1007/978-3-642-35308-6_10
2. QuickCheck
3. Fast and loose reasoning is morally correct
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献