Tutor for Design of Programming Languages

 I am offering tutoring in compilers and interpreters using the OCaml, Haskell, and ML programming languages. Meetings can be held online or in-person.

This includes tutoring in basic functional programming and syntax. I have previously tutored students taking the following courses

• Cornell’s 3110 Data Structures and Functional Programming

• Harvard’s CS 51 Abstraction and Design in Computation

• Boston University’s CS 320 Functional Programming in OCaml

Specific topics

• Recursion

• Higher-order functions

• Algebraic data types

• Modularity

• Semantics (substitution, dynamic, environment)

• The lambda-calculus

• Abstract Syntax Trees, Context Free Grammar, Backus-Naur Form