1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…