Less Power for More Learning: Restricting OCaml Features for Effective Teaching. - Max Lang; Nico Petzendorfer (CoRR, 2023)