Blog

Blog

check in every day

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.

You will find the following Redex models useful when working on PS3.

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

Mon Jan 6 09:04 EST 2020

Welcome to IPPL (CS 7400).