log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Hybrid Type Checking (Corman Flanagan)
Brianna Ren - PLUM, UMD CS
3460 A.V. Williams Building (AVW)
Monday, April 13, 2015, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

https://users.soe.ucsc.edu/~cormac/papers/popl06-hybrid.pdf

This talk is organized by Aseem Rastogi