Less Power for More Learning: Restricting OCaml Features for Effective Teaching

Max Lang, Nico Petzendorfer

We present a framework for sandboxing and restricting features of the OCaml programming language to effectively automate the grading of programming exercises, scaling to hundreds o…