λ CS 251 : Principles of Programming Languages .

Staff / Hours

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

• Mon. 2:45-5pm
• Wed. 4-6pm
• Thu. 11:15am-1:15pm
• Fri. 2-5pm

Tutor Drop-ins:

• Wed 8-10pm (E111): Angela Wu
• Thu 6:30-8:30pm (outside Lyn's office and E111): Meera Hejmadi
• Thu 8:15-10:15pm (E111): MR Ngo

Schedule (jump to now)

• Class meetings: SCI E111 Monday, Wednesday, Thursday 9:50am - 11am

Here is a tentative calendar for the semester. The future and recent past, as recorded here, are subject to revision at any time. See the long-term schedule on the syllabus for the big picture.

Mon	Wed	Thu
23 January	25 January 251 class starts today start big ideas ([slides]) administrivia (see syllabus) quick interactive session with Racket PS0 out; get to know you, study administrivia, install Racket Assign: PS0 Introductions	26 January administrivia; [questions/comments from Google forms] more big ideas; semantics ([slides]) PS0 due PS1 out; syntax, comparing languages, Racket, big-step vs. small-step semantics. Assign: PS1 Evaluating Languages
30 January finish big ideas; pragmatics, dimensions ([slides]) App Inventor example start Racket expressions and declarations; big-step semantics ([slides])	01 February finish Racket expressions and declarations; big-step semantics with environment, small-step semantics([slides])	02 February start lambda and the substitution model [slides], [solutions to exercise at end of class] (Fri) PS1 due (Fri) PS2 out; semantics, Racket recursion, Racket lambda semantics and stack depth Assign: PS2 Antics with Semantics
06 February more substitution model; recursion [slides]	08 February function wrap-up; tree recursion, define syntactic sugar [slides] cons cells and lists [slides]	09 February SNOW DAY list recursion [slides] (study slides 16 through 42 at home due to snowstorm)
13 February list recursion examples [slides]	15 February wrap up list recursion [slides] PS2 due PS3 out; Racket lists and list recursion Assign: PS3 Racket List Recursion	16 February local binding (let) [slides]
20 February President's Day No class on Mon. Feb 20; these materials are for Tue Feb 21 (Mon. schedule) lexical contours, scope, let*, letrec [slides] start first-class functions [slides]	22 February finish first-class functions [slides]	23 February higher-order list operations [slides] PS3 due PS4 out; first-class functions and higher-order list operations Assign: PS4 First-Class Fun
27 February iteration by tail recursion [slides] [slides w/solns]	01 March more tail recursion; foldl [slides] [slides w/solns]	02 March SML in wx appliance start intro to SML [slides] [slides w/solns] (Fri) PS4 due
06 March MR, Meera, and Angela teach class (Lyn away) tail recursion/iteration wrap up; iterate and genlist [slides] [slides w/solns]	08 March MR, Meera, and Angela teach class (Lyn away) more intro to SML [slides w/blanks] [slides w/solns] PS5 out; iteration and tail recursion Assign: PS5 Iterate Until Done	09 March MR, Meera, and Angela teach class (Lyn away) lists in SML [slides w/blanks] [slides w/solns]
13 March SML list review; zip and unzip sum-of-product (SOP) datatypes; figures and lists [slides w/blanks] [slides w/solns]	15 March sum-of-product (SOP) datatypes; options and binary trees [slides w/blanks] [slides w/solns]	16 March sum-of-product (SOP) datatypes; binary search trees [slides w/blanks] [slides w/solns] SML modules; structures, signatures, and hiding via ascription [slides] PS5 due (Fri) PS6 out (Fri); intro to SML, sum-of-product datatypes (2-3-Trees) Assign: PS6 Resistance is Futile. You will be SMLated.
20 March SML abstract data types; rational numbers [slides]	22 March SML abstract data types; sets-as-lists [slides]	23 March tree-shaped data with S-expressions [sexp-starter.rkt] [sexp-solns.rkt] (Fri) PS6 due
27 March Spring Break	29 March Spring Break	30 March Spring Break
03 April An introduction to Postfix [specification and examples of PostFix language from Design Concepts in Programming Languages.] Postfix interpreter to use for testing [postfix-config-tail-fancy.rkt] PS7 out; modules and abstract data types, s-expressions Assign: PS7 Set Yourself Free	05 April PostFix interpretation in Racket [slides] Flesh out configuration-based PostFix interpreter in postfix-config-tail-starter.rkt (solutions in postfix-config-tail-simple.rkt	06 April More PostFix interpretation in Racket [slides] Bells and whistles in postfix-config-tail-fancy.rkt; error handling, printing of intermediate state.
10 April Finish PostFix interpretation in Racket [slides] Review postfix-config-tail-simple and postfix-config-tail-fancy exec as stack transformer * postfix-transform-simple.rkt * postfix-transform-fancy.rkt Start PostFix in SML	12 April PostFix interpretation in SML [slides] Flesh out PostFixStarter.sml	13 April S-expressions in SML PostFix interpreter [slides] PS5 and PS6 hardcopy solns handed out Introduction to Intex, an integer expression language (through eval function) [slides]
17 April Patriot's Day	19 April More Intex; static analysis (argument checking); Intex to PostFix translator [slides]	20 April Monday Schedule metaprogramming and implementation derivations [slides] PS7 due
24 April Introduction to Bindex; local naming; Bindex syntax and free variables [slides] PS8 out (Tue) metaprogramming derivations; PostFix in Racket and SML; Intex and Bindex in SML Assign: PS8 Open to Interpretation	26 April Ruhlman Conference	27 April Bindex eval function; extending bindex to Sigmex [slides]
01 May	03 May Valex; dynamic typechecking and desugaring [slides]	04 May HOFL; environments and closures [notes] PS8 due
08 May Reading Period	10 May Final Exams	11 May Final Exams
15 May Final Exams	17 May	18 May