[PL-sem-jr] Upcoming talks

Daniel Brown dbrown at ccs.neu.edu
Thu Oct 11 14:27:59 EDT 2007


FYI, I decided to talk about calculating functional programs instead  
of PTS. (Updated on the wiki.)

On Oct 11, 2007, at 11:03, Richard Cobbe <cobbe at ccs.neu.edu> wrote:

> PL Seminar Jr will not meet this week.
>
> Upcoming Talks
> --------------
> 10/19: no meeting due to my thesis proposal
> 10/26: Dan Brown: Pure Type Systems/The Lambda Cube
> 11/2: Aaron Turon: logic programming
>
> _______________________________________________
> 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