Tim Disney
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)