[PL-sem-jr] Schedule

[Richard C. Cobbe]

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