[PL-sem-jr] PL Jr meeting tomorrow

[J. Ian Johnson]

What aspect of dependent type systems are you discussing? I might show up.
-Ian
----- Original Message -----
From: "Alex Marquez" <nam at ccs.neu.edu>
To: "Justin R. Slepak" <jrslepak at ccs.neu.edu>
Cc: pl-sem-jr at lists.ccs.neu.edu
Sent: Monday, October 21, 2013 11:54:17 AM GMT -05:00 US/Canada Eastern
Subject: Re: [PL-sem-jr] PL Jr meeting tomorrow

Keep in mind that Billy, Claire, and I will likely still be grading exams while PL Jr. is set to go on. :/

~Alex

----- Original Message -----
From: "Justin R. Slepak" <jrslepak at ccs.neu.edu>
To: pl-sem-jr at lists.ccs.neu.edu
Sent: Monday, October 21, 2013 11:48:50 AM GMT -05:00 US/Canada Eastern
Subject: [PL-sem-jr] PL Jr meeting tomorrow

We will meet at 11:30 in 166. This week's topic is dependent type systems.

---
Justin Slepak
PhD student, Computer Science dept.

_______________________________________________
Pl-sem-jr mailing list
Pl-sem-jr at lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr

_______________________________________________
Pl-sem-jr mailing list
Pl-sem-jr at lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr