[PL-sem-jr] Correction: The PL Jr. Seminars tutorial series - Asumu Takikawa: Types and Programming Languages - Mon 11/1

[Vincent St-Amour]

There was an error in the subject of the previous announcement. It
should be fixed now.

Vincent


At Sat, 30 Oct 2010 18:01:28 -0400,
Vincent St-Amour wrote:
> 
> The PL Jr. seminars' tutorial series continue next monday (11/1), with
> a talk by Asumu Takikawa:
> 
> Title: Types and Programming Languages
> 
> Abstract: Type systems are a lightweight syntactic method of proving the
> absence of certain kinds of program errors. Using the simply typed lambda
> calculus as a base, we will explore various type systems that will let us
> express programs with sophisticated features that are type safe (an idea
> that we will define and prove). Topics that will be covered, time
> permitting, include: recursive types, subtyping, and polymorphism.
> 
> As usual, we will meet in WVH166 from 12:30 to 2:30.
> 
> For more information:
> http://www.ccs.neu.edu/home/stamourv/pljr.html
> https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr
> http://www.google.com/calendar/embed?src=l62pp852u0sdrj9pjrc4enbgcc%40group.calendar.google.com&ctz=America/New_York
> 
> See you there!
> 
> Vincent
>