Date: Tue, 26 Nov 1996 18:47:01 GMT Server: NCSA/1.5.2 Last-modified: Mon, 18 Nov 1996 13:40:07 GMT Content-type: text/html Content-length: 3278 Web page for CSC417, Fall 96, NC State

CSC417: Theory of Programming Languages

Addresses

Instructor: Prof. Purush Iyer
            131-C Daniels Building
            Ph: 515-7291
            e-mail: purush@eos.ncsu.edu
            Off Hrs: 10:15am -- 11:15am MWF

Teaching Assistant:
            Matt Davis
            402A Withers
            e-mail: msdavis2@eos.ncsu.edu
            Off Hrs: TH 2:30 -- 3:30pm

Outline of the course

Click here for information on the syllabus, exam dates, factors determing your grade, etc.

Information about SML

Click here to access Harper's notes.

Click here for more information about SML. Click here for a list of predefined functions in SML. For now, ignore the information about signatures/structures.


Topic 1 Basics of SML Chapter 1 of the Book
Class notes for Topic 1
Program notes for Topic 1
Here is HW1
Due Sep 6, 1996
Topic 2 Polymorphism
Higher-order functions
Chapter 2 of the Book
Class notes for Topic 2

No homework associated with this topic.
Topic 3 List Processing Chapter 3 of the Book
Class notes for Topic 3

Homework HW2
due on Sept 25th
Topic 4 An extended example Chapter 4 of the Book
Class notes for Topic 4
Program Notes for Topic 4

Topic 5 Datatypes Chapter 5 of the Book
Class notes for Topic 5

Home work for Topic 3--5
Additional Home work for Topic 3--5
Topic 6 Structure of Compilers/Interpreters Class notes for Topic 6
Program notes for Topic 6
Home work on Topic 6
Old parser
New parser Homework Solution
Topic 7 Interpreters Dynamic Scoping Interpreter
Static Scoping Interpreter
Modifications to Eval2
Call by name evaluator
Homework

Maintained by the instructor Prof. Purush Iyer.