Honors Programming Languages
G22.3110 Fall 2005

Instructor: Benjamin Goldberg

Phone: (212) 998-3495
Email: goldberg@cs.nyu.edu
URL: http://cs.nyu.edu/goldberg
Office: Warren Weaver Hall, Room 509
Office Hours: Mondays and Wednesdays: 2pm - 3pm, 5pm - 6pm, and by appointment.

Lectures

Mondays and Wednesdays 3:30pm - 4:45pm, 101 Warren Weaver Hall

Class Mailing List

You must subscribe to the class mailing list: g22_3110_001_fa05@cs.nyu.edu.
To subscribe, go to http://www.cs.nyu.edu/mailman/listinfo/g22_3110_001_fa05

Course Syllabus

Assignments

Exam Preparation

Course Materials

Recommended Textbooks:
- Programming in Ada 95
  by J. G. P. Barnes
  Addison-Wesley
- The Art of Prolog
  by Leon Sterling and Ehud Shapiro
  MIT Press
- ML for the Working Programmer
  by Lawrence C. Paulson
  Cambridge Univ Press
The Lovelace Tutorial on Ada95
Sample Ada programs
Using Gnat, the Ada compiler
Slides from Prof. Robert Dewar's Ada Lectures (powerpoint)
- Ada Tasking
- Ada Object Oriented features
To run scheme on department unix machines, type "mzscheme" to run MzScheme.
Scheme Downloads for Windows
- DrScheme, a programming environment for Scheme
- MzScheme, a stand-alone Scheme implementation
Scheme Reference Manual (Revised^5)
The Scheme Programming Language, 3rd ed., by R. Kent Dybvig
Dynamic Storage Allocation (Garbage Collection) Slides (postscript)
- PDF version
Brief Lambda Calculus Lecture Notes
Scheme mini-interpreter
Functional Programming Slides (postscript)
- PDF version
A Gentle Introduction to ML, by Andrew Cummings, Napier University
The Standard ML Basis Library
unify.sml (the ML unification code for use in type inference)
Informal type inference lecture notes PS PDF
Logic Programming and Prolog Lecture Notes (postscript)
Running the Prolog system
The GNU Prolog Home Page
SETL Reference Manual (postscript)
Sample SETL programs
Type Theory Lectures
- Ed Osinski's Types Lecture
- Transparencies on Subtyping
Denotational Semantics Lecture (.jpg's of handwritten notes)
Cygwin - A UNIX environment for Windows (click on "install now")
- Note: When asked to select packages, click "devel" and then
  scroll down to make sure that the box in the "bin" column
  next to "gcc" is checked. This will ensure that gcc is included
  with the cygwin installation.
Java Software Page (Java2 Standard Edition, version 1.4.2)
The Java API web page (Java2 Standard Edition, version 1.4.2)

Code Typed in Class

Honors Programming Languages G22.3110 Fall 2005

Honors Programming Languages
G22.3110 Fall 2005