Index of class resources
Class Information
—
Class and lab times, instructor and TA information
Course Information
—
Textbook, course content and schedule
Homework Assignments
Examination Information
— Exam dates and sample exams
Course Locker —
Paths to programming systems on AFS
Lecture Sides
— Slides in pdf
Additional Readings — Some papers
on programming languages, most optional some required
Programming
Language Tools — Language documentation, tutorials and installable
language systems
Miscellaneous
Class Information
-
Lectures:
-
Stevenson College, Room 175
-
M-W-F 15:30 - 16:40
-
Laboratories:
-
Section A:
Crown 201
M 14:00 - 15:00
Section B
Crown 201
W 14:00 - 15:00
Section C
Baskin 105
F 13:00 - 14:00
-
Instructor:
-
Name: Hal Brown
-
EMail: hbrown@soe.ucsc.edu
-
Office: Baskin 189a
-
Instructor Office Hours:
-
M-W-F 14:00 - 15:00
-
Also by Appointment
-
Lab Instructor:
-
Name: Deepa Tuteja
-
EMail: deepa@soe.ucsc.edu
-
Office Hours: By Appointment
-
Class Newsgroup
-
Group: ucsc.class.cmps112
Course Information
Textbook:
John C. Mitchell, Concepts in Programming
Languages, Cambridge U. Press, 2003
Course Description
Course Schedule
Homework Assignments
Course Locker
-
Path to locker: /afs/cats.ucsc.edu/courses/cmps112-hb
-
Language tools in locker:
Examination Information
-
Midterm 1
-
Midterm 2
-
Final Examination
Lecture Slides
-
Introduction
-
Some Fundamentals
-
Lisp and
Scheme
-
Lambda
Calculus
-
More
Fundamentals
-
SML
-
Types
-
Scope
-
Simula and
Smalltalk
-
Sequential Control
-
Object-Oriented
Concepts & Design Patterns
-
Prolog
-
Concurrency
Additional Reading
-
J. McCarthy,
Recursive
functions of symbolic expressions and their computation by machine,
Comm. ACM 3, 4 (1960) 184-195
-
J. Backus, Can
programming be liberated from the von Neuman style?, Comm. ACM 21,
8 (1978) 613-641
-
Edsger
W. Dijkstra, Go To Statement Considered Harmful, Comm. ACM, 11,
3 (1968,) 147-148
-
Erann Gat,
Lisp
as an Alternative to Java. Intelligence, Winter 2000
-
A.
Koenig, An anecdote about ML type inference, USENIX Symposium on Very High
Level Languages,1994
-
Lambda Calculus
-
D. Ingalls,
The Smalltalk-76 Programming System Design and Implementation , Fifth Annual
ACM Symposium on Principles of Programming Languages, January 1978
-
D. Ingalls,
Design Principles Behind Smalltalk, BYTE Special Issue on Smalltalk, August
1981
Programming Language Tools
and References
Scheme
DrScheme system
for Windows
Manuals
MIT Scheme
Manual
Official
Scheme Reference
Tutorials
Tutorial
A
Tutorial
B
Online
book: The Scheme Programming Language, R. Kent Dybvig
SML
SML of New Jersey for Windows
Installation instructions
SML of New Jersey home
page
Documents
Using
SML on Unix
Standard
ML Basis Library Manual
SML example code fragments
SML of New Jersey error messages
Tutorial
A Gentle
Introduction to ML
SML books
Notes on Programming Standard
ML of New Jersey, Riccardo Pucella Cornell
Introduction to Standard
ML, Robert Harper CMU
Smalltalk
VisualWorks
7 Non-Commercial Download
Smalltalk
Free Books
The UIUC Smalltalk Archive
Prolog
SWI Prolog
for Windows (Self-installing executable)
SWI Prolog Home
Page
Prolog
A Tutorial Introduction, James Lu and Jerud J. Mead
AMZI
Adventure in Prolog
Other Prolog Tutorials
Tutorial
A
Tutorial
B
Tutorial
C
Prolog Code Examples
(Courtesy Prof. W. Mackey)
Miscellaneous
|
