Elements of Functional Programming with OCaml (Autumns 2015, 2016, 2017)
School of Computer Science, University of Birmingham, UK, 2017
I helped with teaching of this course in three academic years. This course was fun!
- Elements of Functional Programming, OCaml, Autumn 2017
- Module Lecturer: Dan Ghica
- Other demonstrators: Koko Muroya and Steven Cheung
- Activities:
- Running exercise classes (medium and hard level)
- Office hours for individual help
- Writing solution scripts for automated marking on Hackerrank
- Elements of Functional Programming, Autumn 2016
- Module Lecturer: Dan Ghica
- Other demonstrators: Bram Geron and Koko Muroya
- Activities:
- Running exercise classes
- Tutorial on proof assistant YUP in four weeks
- Writing solution scripts for automated marking on Hackerrank
- Elements of Functional Programming, Autumn 2015
- Module Lecturer: Dan Ghica
- Other demonstrators: Bram Geron
- Activities:
- Running exercise classes
- Marking final exam papers