[PL-sem-jr] PL Junior Nov 28

Ming-Ho Yee yee.mi at husky.neu.edu
Tue Nov 14 15:34:32 EST 2017


Due to lack of quorum (something about turkey), PL Junior is cancelled next
week. We will resume the following week, on Tuesday, November 28.

Please read Chapter 20 (but skip 20.3) of TAPL, on recursive types. Work on
questions 20.1.2 and 20.1.4, and we'll discuss the solutions when we meet.


When: Tuesdays at 2pm
Where: Behrakis 307
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list