Tim Disney
I'm a
grad student at UCSC where I study programming languages with my
advisor Cormac Flanagan.
I talk
| @disnet | +Tim Disney | tim.disney@gmail.com |
I make
| code | papers | blog posts |
Recent Publications
Types for Precise Thread Interference
(Tech Report)
Virtual Values for Language Extension (OOPSLA 2011)
Temporal Higher-Order Contracts (ICFP 2011)
Gradual Information Flow Typing (STOP 2011)