Tim Disney
Hello! My name is Tim Disney.

I talk
@disnet +Tim Disney tim@disnet.me
I make
code papers blog posts

Recent Publications

Sweeten Your JavaScript: Hygienic Macros for ES5 (DLS 2014)
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)