[PL-sem-jr] Today: Local type inference through the ages

[Benjamin Chung]

I'll be talking about local type inference systems through the ages today.

There are three papers that I'll be discussing:

Local Type Inference, by Benjamin Pearce and David Turner
http://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf

Colored Local Type Inference, by Martin Odersky, Christoph Zenger, and
Matthias Zenger
http://lampwww.epfl.ch/~odersky/papers/popl01.pdf

Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism,
by Joshua Dunfield and Neel Krishnaswami
https://www.mpi-sws.org/~neelk/bidir.pdf
-------------- next part --------------
HTML attachment scrubbed and removed