CSC 7101: Programming Languages Structures

General Information

• Syllabus
• Study Guide for Generals

Homeworks

• Homework 1
• Homework 2
• Homework 3
• Homework 4
• Homework 5
• Homework 6

Programming Assignments

• Lab 1: Code Skeleton and Heap Images

Documentation

• SML '97 Basis Library Documentation
• SML/NJ Documentation

Sample Exams

• Midterm Spring 2005
• Final Spring 2005

Reading

• On understanding types, data abstraction, and polymorphism by Luca Cardelli and Peter Wegner, ACM Computing Surveys, 17(4), pp. 471-523, 1985.
• Describing Prolog by its interpretation and compilation by Jacques Cohen, Communications of the ACM, 28(12), pp. 1311-1324, 1985.

Copies of Slides

• Attribute Grammar
• Axiomatic Semantics
• ML
• Prolog
• Operational Semantics
• Denotational Semantics
• Types