CSE 526: Principles of Programming Languages, Spring 2020

Home Schedule Lectures Homeworks Exams Resources

Homeworks

HW# Due Description and Materials
1. Tue., Feb 18 Prolog programming
2. (a): Tue., Mar 3
(b): Tue., Mar 10 		Induction proofs and Operational Semantics
3. Thu., Apr 16 OCAML programming
4. Thu., May 7 Interpreter & Type checker

Forms for submitting the homeworks on-line are in "Assignments" area on Blackboard.
C.R. Ramakrishnan
Last modified: Fri Apr 24 00:33:23 EDT 2020