Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Mon 4 Sep 2017 11:37 - 12:00 at L1 - Art and Education Chair(s): Kathryn E. Gray

This article describes the key innovations used in the massive open online course ``Introduction to Functional Programming using OCaml'' that has run since the fall semester of 2015. A fully in-browser development environment with an integrated grader provides an exceptional level of feedback to the learners. A functional library of grading combinators greatly simplifies the notoriously complex task of writing test suites for the exercises, and provides static type-safety guarantees on the tested user code.
Even the error-prone manual process of importing the course content in the learning platform has been replaced by a functional program that describes the course and statically checks its contents. A detailed statistical analysis of the data collected during and after the course assesses the effectiveness of these innovations.

Mon 4 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 12:00: Research Papers - Art and Education at L1
Chair(s): Kathryn E. GrayUniversity of Cambridge
icfp-2017-papers10:30 - 10:52
Leif AndersenNortheastern University, USA, Stephen ChangNortheastern University, USA, Matthias FelleisenNortheastern University, USA
icfp-2017-papers10:52 - 11:15
Ivan PerezUniversity of Nottingham, UK, Henrik NilssonUniversity of Nottingham, UK
icfp-2017-papers11:15 - 11:37
Joachim BreitnerUniversity of Pennsylvania, Chris SmithGoogle, USA
icfp-2017-papers11:37 - 12:00
Benjamin CanouOCamlPro, n.n., Roberto Di CosmoInria, France / University of Paris Diderot, France, Grégoire HenryOCamlPro, n.n.