Wellesley College, Spring 2007

CS251: Programming Languages

Course Materials

Handouts by number
Handouts by type
Resource Links

Course Info

Professor:

Franklyn Turbak (Please call me "Lyn")

Office:

SCI E126

Phone:

(781) 283-3049

Email:

Remove capital letters from
ftWurbXak@welYlesZley.edu

Web:

http://cs.wellesley.edu/~fturbak

Lectures:

TWF 11:10am--12:20pm in SCI E104

Office Hours:

Mon. 4-6pm;

Tue: 12:30-2:30pm;

Wed: 4-6pm;

Fri: 3-5pm

First Class:

CS251-S07 Announcements, CS251-S07 Q&A

Drop-in Tutor:

Rebecca Shapiro: Tue. 8-10pm

Handouts by Number

#01 Course Information
#02 Syllabus
#03 Linux, X, and Emacs
#04 Introduction to Unix and the X Window System (Scott Anderson)
#05 Introduction to the Emacs Editor (Scott Anderson)
#06 GNU Emacs Reference Card
#07 Concurrent Versions System (CVS)
#08 Sample Programming Language Dimensions
#09 Introduction to the Objective Caml Programming Language (Jason Hickey) [local copy]
#10 Using OCAML
#11 Introduction to OCaml
#12 Reflections on Trusting Trust (Ken Thompson)
#13 Problem Set 1
#14 List Processing in OCaml
#15 Problem Set 2
#16 The Substitution Model
#17 First-Class Functions [unfilled] [filled]
#18 Problem Set 1 Solutions
#19 Problem Set 3
#20 Higher-Order List Functions [unfilled] [filled]
#21 Problem Set 2 Solutions
#22 John Backus's Turing Award Lecture
#23 Modules and Data Abstraction in OCaml
#24 Problem Set 4
#25 Sum-of-Product Data Types [unfilled] [filled]
#26 Problem Set 3 Solutions
#27 Intex: An Introduction to Program Manipulation
#28 Problem Set 5
#29 Postfix: A Simple Stack Language
#30 Bindex: An Introduction to Naming
#31 Extending Bindex
#32 Problem Set 6
#33 Valex: Dynamic Type Checking and Desugaring
#34 Problem Set 4 Solutions (Incomplete Draft)
#35 An Introduction to Hofl: A Higher-order Functional Language
#36 Scoping in Hofl
#37 Fofl and Fobs: First-Order Functions
#38 Problem Set 7
#39 Closure Conversion
#40 Problem Set 5 Solutions
#41 Problem Set 6 Solutions
#42 Hoilec: Imperative Programming with Explicit Cells
#43 Problem Set 8
#44 Hoilic: Imperative Programming with Implicit Cells
#45 Parameter Passing [1 slide per page] [2 slides per page]
#46 Problem Set 7 Solutions
#47 Problem Set 9
#48 You Can Do More If You're Lazy! [1 slide per page] [2 slides per page]
#49 Haskell and HUGS
#50 Garbage Collection chapter from Turbak and Gifford with Sheldon's Design Concepts in Programming Languages
#51 Compound Data and Memory Management [1 slide per page] [2 slides per page]
#52 Final Exam Review Problems
#53 John Hughes's paper Why Functional Programming Matters
#54 Problem Set 8 Solutions
#55 Problem Set 9 Solutions

Handouts by Type

General Information

#08 Sample Programming Language Dimensions
#11 Introduction to OCAML
#14 List Processing in OCaml
#16 The Substitution Model
#17 First-Class Functions [unfilled] [filled]
#20 Higher-Order List Functions [unfilled] [filled]
#23 Modules and Data Abstraction in OCaml
#25 Sum-of-Product Data Types [unfilled] [filled]
#27 Intex: An Introduction to Program Manipulation
#29 Postfix: A Simple Stack Language
#30 Bindex: An Introduction to Naming
#31 Extending Bindex
#33 Valex: Dynamic Type Checking and Desugaring
#35 An Introduction to Hofl: A Higher-order Functional Language
#36 Scoping in Hofl
#37 Fofl and Fobs: First-Order Functions
#39 Closure Conversion
#42 Hoilec: Imperative Programming with Explicit Cells
#44 Hoilic: Imperative Programming with Implicit Cells
#45 Parameter Passing [1 slide per page] [2 slides per page]
#48 You Can Do More If You're Lazy! [1 slide per page] [2 slides per page]
#51 Compound Data and Memory Management [1 slide per page] [2 slides per page]

Documentation/Papers

Review Problems

#52 Final Exam Review Problems

Resource Links

OCAML
- Caml Tutorials, especially
  - Jason Hickey's Introduction to the Objective Caml Programming Language
  - Michel Mauny's Functional Programming using Caml Light
- OCaml 3.08 Documentation, especially
- The Caml Language home page
- Another popular dialect of ML is Standard ML of New Jersey (SMLNJ), which is very similar to Caml except for some syntactic differences. Check out the SML home page and various SML tutorials
- Comparison of OCAML to SML
MIT Scheme
Haskell
Linux
- Wellesley local Unix Introduction
- Larry Greenfield's The Linux Users' Guide [HTML] [PDF]
- Linux Documentation Project
Emacs
CVS
- CVS Wiki
- CVS Manual
General Interest
- Free On-Line Dictionary of Computing
- Hypatia: A directory of CS and Math researchers and research.
- Mark Leone's programming language resources page (out of date).
- Mark Leone's page of programming language researchers (out of date).
Humor

Adobe Acrobat Reader

Please note: The many CS251 course materials this semester are in .pdf format, which requires the Adobe Acrobat Reader program for on-screen viewing and printing. This program is installed on most public computers at Wellesley College. If your computer does not have a working copy of Acrobat Reader, it is available for free from Adobe on all major computer platforms. Click on the button to the left to download Acrobat Reader. Note that there are plug-ins that allow you to read .pdf files directly from your browser; again, these are installed on most public computers and are freely available from Adobe.