[PL-sem-jr] Local type inference (5/25, WVH 366, 11:00)

[Brian LaChance]

Local type inference is an inference system that allows programmers to
leave out explicit type information in places that "make sense." Duplicate
code is rarely pleasant, and type inference is one way to avoid mandatory
duplication. We'll cover three aspects of this technique: its motivation,
its core technical details, and some of its limitations.


References
http://www.cis.upenn.edu/~bcpierce/papers/lti.pdf
http://dl.acm.org/citation.cfm?id=345100
The ACM DL has the TOPLAS version, which has extra material that we won't
get into today.

http://repository.upenn.edu/cgi/viewcontent.cgi?article=1185
This is an extended evaluation of local type inference.
-------------- next part --------------
HTML attachment scrubbed and removed