LISA@XX.LCS.MIT.EDU (Lisa F. Melcher) (06/10/86)
Date: Thursday, June 19, 1986
Time: 2:45 p.m......Refreshments
3:00 p.m......Lecture
Place: NE43 - 512A
"DEPENDENT TYPES -- FIFTEEN YEARS LATER"
J.Y.GIRARD
University of Paris VII
Our system F of polymorphic lambda calculus (developed independently by
Reynolds) is attracting increasing interest because of its relation to
polymorphic types in programming, although our original motivation for
studying the system was quite different. In this talk we summarize the basic
theoretical properties of the type system and compare the computer
scientists' and logicians' views of it.
Sponsored by TOC, Laboratory for Computer Science
Albert Meyer, Host