CS 421
Programming languages & compilers
OCAML
Introduction to Objective OCaml
Type Rules
Polymoprhic Typing Rules
Order of Evaluation
Closures and Evaluation of Function Application, Order of Evaluation in OCaml
Higher Order Functions
Higher-Order Functions, Pattern Matching and Recursion over Lists
User defined types and pattern matching
User Defined Types in Ocaml, Data Constructors and Pattern Matching
Type Systems
Types and Type Systems
Midterm 2
Midterm 2 concepts review
Unification Algorithm
Background for Unification
Compilers
Regular Expressions, DFSAs and NDFSAs- Grammars
Intro to Lambda Calculus
Lambda Calculus - Motivation
Yacc
Yet Another Compiler-Compiler
Parser
To fully understand the semantics