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)
Dynamic Detection of Object Capability Violations Through Model Checking (DLS 2014)
Traces for Type Soundness (Tech Report 2014)
Types for Precise Thread Interference (Tech Report 2011)
Virtual Values for Language Extension (OOPSLA 2011)
Temporal Higher-Order Contracts (ICFP 2011)
Gradual Information Flow Typing (STOP 2011)