Honors Programming Languages
G22.3110 Spring 2008
Instructor: Benjamin Goldberg
TA: Kristiyan Haralambiev
- Email address is found here
- Office: 719 Broadway, room 714.
Lectures
- Mondays and Wednesdays 3:30pm - 4:45pm, Room 102 Warren Weaver Hall
Class Mailing List
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)
-
Scheme Code Typed in Class
- To run scheme on department unix machines, type "mzscheme" to run MzScheme.
- Scheme Downloads for Windows
- Scheme Reference Manual (Revised^5)
- The Scheme Programming Language, 3rd ed., by R. Kent Dybvig
- An introduction to Scheme, by Paul Wilson, U. Texas
-
Dynamic Storage Allocation (Garbage Collection) Slides (postscript)
-
Brief Lambda Calculus Lecture Notes
- Scheme mini-interpreter
-
Functional Programming Slides (postscript)
-
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
-
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)
Lazy Scheme & Infinite Streams (Scheme Code w/ Delay & Force)