[PL-sem-jr] PL Jr meeting tomorrow

Justin R. Slepak jrslepak at ccs.neu.edu
Mon Oct 21 13:13:32 EDT 2013


Just the basics. The topic was requested by the new students, so it's targeted more at them. There will be some Dependent ML at the end if there's time (probably more focus on the index language/constraint domain than on the singleton/range types).

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

----- Original Message -----
From: J. Ian Johnson <ianj at ccs.neu.edu>
To: Alex Marquez <nam at ccs.neu.edu>
Cc: pl-sem-jr at lists.ccs.neu.edu, Justin R. Slepak <jrslepak at ccs.neu.edu>
Sent: Mon, 21 Oct 2013 11:56:14 -0400 (EDT)
Subject: Re: [PL-sem-jr] PL Jr meeting tomorrow

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




More information about the Pl-sem-jr mailing list