[PL-sem-jr] Talk Monday, 2/2: Jed on undecidability of bounded quantification

Aaron Turon turon at ccs.neu.edu
Sun Feb 1 15:08:06 EST 2009


Tomorrow, 2/2 at 2:30 in WVH166.

Jed will discuss the undecidability of bounded quantification (in type
systems: think system F_<:).  Talk abstract will appear in follow-up
email.

--

Upcoming schedule:
2/9 Aaron - nominal logic
2/16 Holiday (President's day)
2/23 Dimitris - control-flow analysis



More information about the Pl-sem-jr mailing list