λ CS 251 : Principles of Programming Languages .

Staff / Hours

Instructor: Lyn Turbak, SCI E126
Drop-in hours (SCI E126 or micro-focus):

• Mon. 11:10am-12:20am, 4-7pm
• Tue. 1:30-3:45pm
• Thu. 12-1:30pm, 8-10pm
• Fri. 2-5pm

Tutors:

• Sara Burns: drop-ins Wed. 7-9pm in micro-focus
• Sravanti Tekumalla: drop-ins Thu. 6:15-8:15pm in micro-focus

Schedule (jump to now)

• Class meetings: SCI E111 Tuesday, Wednesday, Friday 9:50am - 11:00am

The future and recent past, as recorded here, are subject to revision at any time.

Tue	Wed	Fri
26 January 251 class starts today big ideas (slides [1 up] [4 up], notes)	27 January finish big ideas from previous lecture computability and the halting problem (slides [1 up] [4 up], notes)	29 January finish computability from previous lecture Assign: Halt that Racket
02 February introduction to Racket (expressions and bindings) (slides [1 up] [4 up], notes)	03 February wrap up Racket expressions and bindings. begin Racket functions (slides [1 up] [4 up], notes)	05 February finish Racket functions, plus substitution model, small-step semantics, recursion, and syntactic sugar (see Wed. sides and notes). for next time, read up on Cons Cells and Lists PS1 due today Assign: Racket Recursion
09 February Racket pairs and lists (slides [1 up] [4 up], notes)	10 February Recursive list functions (see slides and notes from yesterday)	12 February First-class functions in Racket (slides [1 up] [4 up], notes) PS1 hardcopy solutions outside my office Assign: First-Class Fun
16 February Continue first-class functions: map, filter, foldr, compositional programming	17 February Compositional programming (no slides yet)	19 February Iteration via tail recursion in Racket (slides [1 up] [4 up]) PS2 hardcopy solutions in class
23 February More iteration via tail recursion Assign: Iterate Until Done Exam 1 out Mon. Feb 29, absolutely due Mon. Mar. 7 (no extensions)	24 February Wrap up iteration	26 February Local naming and scope in Racket (slides [1 up] [4 up], notes)
01 March let and lexical contours Assign: Take-Home Exam 1	02 March let for efficiency; letrec introduction to symbols	04 March s-expressions tree manipulation in Racket our first mini-language, PostFix DCPL PostFix notes
08 March install wx appliance for SML for tomorrow A PostFix Interpreter in Racket (slides [1 up] [4 up], DCPL PostFix notes	09 March PostFix interpreter wrap-up Introduction to Standard ML (SML) (slides [1 up] [4 up])	11 March Assign: Trees and Programs Finish SML intro Introduction to SML notes
15 March Lists in SML slides with missing parts [1 up] [4 up] slides with solutions [1 up] [4 up]	16 March Sum-of-Product Datatypes in SML slides with missing parts [1 up] [4 up] slides with solutions [1 up] [4 up]	18 March Wrap up sum-of-product datatypes
22 March Spring Break	23 March Spring Break	25 March Spring Break
29 March Modules and ADTs in SML (Rational numbers) slides [1 up] [4 up] adts.sml	30 March Modules and ADTs in SML (Sets) slides [1 up] [4 up] set.sml Assign: Set Yourself Free	01 April Metaprogramming (slides [1 up] [4 up]) postfix.sml
05 April PostFix in SML slides [1 up] [4 up] postfix directory	06 April Intex in SML slides [1 up] [4 up] intex directory	08 April Intex Static Argument checking, Intex To Postfix Compiler slides [1 up] [4 up] intex-to-postfix directory
12 April Bindex Syntax (including s-expression parsing and unparsing) and free variables bindex directory	13 April Bindex Environment model interpreter bindex directory	15 April More Bindex Environment model interpreter Sigmex = Bindex + sigma bindex directory
19 April Monday Schedule Assign: Open to Interpretation	20 April More Sigmex = Bindex + sigma bindex directory	22 April Valex -- dynamic type checking and desugaring (slides [1 up] [4 up]) valex directory
26 April Hofl -- a higher-order functional language (Hofl notes) hofl directory	27 April Ruhlman Conference Assign: A Hofl Lot	29 April Lyn away at CCSCNE Sara Burns will lead pset party during lecture time.
03 May Imperative and Object-Oriented Programming with explicit cells (notes)	04 May last day of class Implicit cells (notes)	06 May Reading Period
10 May Final Exams	11 May Final Exams	13 May Final Exams Assign: Extra Credit Problems
17 May	18 May	20 May
24 May	25 May	27 May

Long-term schedule on the syllabus