[PL-sem-jr] Schedule

Richard C. Cobbe cobbe at ccs.neu.edu
Fri Oct 15 10:52:37 EDT 2004


PL Seminar, Jr.
Monday, October 18, 2004
WVH 166
12:30 - 2:30   (feel free to bring your lunch!)

Felix will discuss type systems:

  - A basic overview of type systems in general

  - A look at Barendregt's treatment of Curry's typed lambda calculus

  - An overview/review of the Hindley-Milner type system.


Upcoming events:
----------------
    We will discuss Chapter 1 of _Principles of Program Analysis_ on
    October 25.  Please try to read this before our meeting.

    There are four people in PRL who have copies of this book: Sam,
    Stevie, Carl Eastlund, and Mitch.

Richard



More information about the Pl-sem-jr mailing list