[PL-sem-jr] No seminar this week

Aaron Turon turon at ccs.neu.edu
Wed Feb 6 09:37:14 EST 2008

Next message: [PL-sem-jr] Feb 14: Coq tutorial
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi folks.  Just a reminder that there is no PLJr this week.  The
upcoming seminars are:

Feb 14 - Vasillis - Coq tutorial
Feb 21 - Sam - pattern matching

Next message: [PL-sem-jr] Feb 14: Coq tutorial
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list