Wellesley College, Spring 2005

CS251: Programming Languages

Course Materials

Handouts by number
Handouts by type
Code (download directory)
Resource Links

All handouts require the Adobe Acrobat Reader

Course Info

Professor:

Franklyn Turbak (Please call me "Lyn")

Office:

SCI E126

Phone:

(781) 283-3049

Email:

fturbak@wellesley.edu

Web:

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

Lectures:

MWR 9:50--11am in SCI E111

Office Hours:

Mon. 11am-1pm;

Wed: 4-6pm;

Thu. 11am-1:30pm (12:30 on 3rd Thu. of month);

Fri: 3-5pm

First Class:

CS251-S04 Announcements, CS251-S04 Q&A

Drop-in Tutors:

Brenda Peynado: Tue. 8-10pm

Karyn Benson: Thu. 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 Reflections on Trusting Trust (Ken Thompson)
#12 Problem Set 1
#13 Introduction to OCaml
#14 Problem Set 2
#15 List Processing in OCaml
#16 The Substitution Model
#17 First-Class Functions [filled] [unfilled]
#18 Problem Set 1 Solutions
#19 Problem Set 3
#20 Higher-Order List Functions
#21 Modules and Data Abstraction in OCaml
#22 Sum-of-Product Data Types
#23 Problem Set 2 Solutions
#24 Problem Set 4
#25 Problem Set 3 Solutions
#26 Intex: An Introduction to Program Manipulation
#27 PostFix: A Simple Stack Language
#28 Bindex: An Introduction to Naming
#29 Problem Set 5
#30 Extending Bindex
#31 Valex: Primitive Operators and Desugaring
#32 Problem Set 6
#33 Problem Set 4 Solutions
#34 HOFL: First-Class Functions and Scoping
#35 FOFL and FOBS: First-Order Functions
#36 Problem Set 5 Solutions
#37 Closure Conversion [1 slide per page] [2 slides per page]
#38 Imperative Programming [1 slide per page] [2 slides per page]
#39 Parameter Passing [1 slide per page] [2 slides per page]
#40 Problem Set 7
#41 Compound Data and Memory Management [1 slide per page] [2 slides per page]
#42 Problem Set 6 Solutions
#43 You Can Do More if You're Lazy [1 slide per page] [2 slides per page]
#44 John Hughes's paper Why Functional Programming Matters
#45 Problem Set 8
#46 Haskell and HUGS
#47 Scheme
#48 CS251 Jeopardy Game [handout] [slides]
#48' (yes, bad numbering) Control [1 slide per page] [2 slides per page]
#49 Problem Set 7 Solutions

Handouts by Type

General Information

#01 Course Information
#02 Syllabus

#8 Sample Programming Language Dimensions
#13 Introduction to OCAML
#15 List Processing in OCaml
#16 The Substitution Model
#17 First-Class Functions [filled] [unfilled]
#20 Higher-Order List Functions
#21 Modules and Data Abstraction in OCaml
#22 Sum-of-Product Data Types
#26 Intex: An Introduction to Program Manipulation
#27 PostFix: A Simple Stack Language
#28 Bindex: An Introduction to Naming
#30 Extending Bindex
#31 Valex: Primitive Operators and Desugaring
#34 HOFL: First-Class Functions and Scoping
#35 FOFL and FOBS: First-Order Functions
#37 Closure Conversion [1 slide per page] [2 slides per page]
#38 Imperative Programming [1 slide per page] [2 slides per page]
#39 Parameter Passing [1 slide per page] [2 slides per page]
#41 Compound Data and Memory Management [1 slide per page] [2 slides per page]
#43 You Can Do More if You're Lazy [1 slide per page] [2 slides per page]
#48' (yes, bad numbering) Control [1 slide per page] [2 slides per page]

Documentation/Papers

#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)
#09 Introduction to the Objective Caml Programming Language (Jason Hickey)
#10 Using OCAML
#44 John Hughes's paper Why Functional Programming Matters
#46 Haskell and HUGS
#47 Scheme

Review Problems

#48 CS251 Jeopardy Game [handout] [slides]

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 Home Page
- 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.