[PL-sem-jr] PL Junior Nov 28

[Ming-Ho Yee]

Reminder that we're resuming on Tuesday.

We'll discuss recursive types (chapter 20 of TAPL), questions 20.1.2 and
20.1.4, and scheduling for the following week (since we have a conflict
with a seminar).

-- Ming-Ho

On Tue, Nov 21, 2017 at 9:54 AM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:

> Reminder: today's meeting is cancelled. We will resume next week.
>
>
> On Tue, Nov 14, 2017 at 3:34 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:
>
>> 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