[PL-sem-jr] No talk this week

Aaron Turon turon at ccs.neu.edu
Mon Nov 23 10:34:18 EST 2009

Previous message: [PL-sem-jr] Talk tomorrow, Mon 11/16
Next message: [PL-sem-jr] Talk tomorrow, 11/30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The next PL Jr talk will be Monday, 11/30.  Vasilis will be talking
about Curry-Howard, type theory, and specifically, Coq.

Previous message: [PL-sem-jr] Talk tomorrow, Mon 11/16
Next message: [PL-sem-jr] Talk tomorrow, 11/30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list