Demonstrator for Elements of Functional Programming (OCaml)

1st year undergraduate module, University of Birmingham, School of Computer Science, 2016

  • 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

Leave a Comment