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