Blog
Thu Mar 5 22:20 EST 2020
Here is the code from last week’s lecture: closed and subst.rkt.
Here is code we will go over in class next week, which shows how to model the typing rules from last Wednesday’s lecture: typed and tut-subst.rkt.
Wed Jan 29 23:50 EST 2020
Please choose a paper for your project and get approval by Feb 7. See the Project page for details.
PS3 will be due Feb 10 at noon.
Sat Jan 18 14:43 EST 2020
I’ve posted PS2. I have changed the due date. It will now be due on Monday, Jan 27 at noon.
Here is the code from Wednesday’s lecture: 4.rkt and 4a.rkt.
Also, read the lecture on Accumulators.
Substitution: subst
Call-by-value lambda calculus: Lambda-CBV
Call-by-name lambda calculus: Lambda-CBN
General reduction for lambda calculus: Lambda-full-beta
Wed Jan 8 21:51 EST 2020
Here is the code from today’s lecture: bool-or/reduction, defining metafunctions, ellipses and where clauses, extending languages and side conditions, designing functions on list-mingled data. Read the files in conjunction with the three Working with Redex lectures on the course website, and the reading specified for today in the schedule.
Mon Jan 6 22:16 EST 2020
Please send me an email by 5pm Friday January 10 with Subject "IPPL HW partner". Include the name of your homework partner (and CC your partner). You will be working with this partner on the first three homeworks.
I have posted Problem Set 1. PS1 should be done with your homework partner. It is due at 5pm Thursday, January 16.
PS2 will be due the following Friday (1/24).
After PS2, problem sets will be due roughly every two weeks.
Mon Jan 6 09:04 EST 2020
Welcome to IPPL (CS 7400).