Hello! My name is Tim Disney.
I talk
| @disnet | tim@disnet.me |
I make
| code | papers | blog posts |
Recent Publications
Hygienic Macros for JavaScript
(Dissertation 2015)
Contracts for Async Patterns in JavaScript
(STOP 2015)
Game Semantics for Type Soundness
(LICS 2015)
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)