[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, October 20, 2004
Room 366 West Village H (http://www.ccs.neu.edu/home/wand/directions.html)
11:45am-1:30pm

Summer Adventures in Subtyping and Inference

Carl Eastlund, NU PRL

Abstract:

This talk will present the content of Eifrig, Trifonov, and Smith's
early papers on a type inference system for OOP which includes
subtyping, polymorphism, and recursive types.  This system can infer
types for previously difficult programs using an algorithm similar to
Hindley-Milner inference.  Some of the drawbacks of this system will
also be presented, including the lack of primary types and the
difficulty of providing signatures for functions and modules.

Upcoming Events:

10/27 Joe Marshall: Integrating the .NET Libraries with Scheme, or,
Look, Ma!  No FFI! 


--Mitch