I’m Tim Disney. I write code and things.
I mostly work on programming languages and web security (we have to be better at the cyber).
If you’d like to talk to me:
- I’m @disnet@mastodon.social on Mastodon
- I’m @disnet on twitter
- I’m
tim@disnetdev.comon email
Some stuff I made
I’m @disnet on GitHub.
- Sweet.js: hygienic macros for JavaScript.
- Contracts.coffee: higher-order contracts for CoffeeScript. No longer maintained but it was fun experiment.
Some papers I wrote
The highlights. There are others.
- Hygienic Macros for JavaScript: my doctoral dissertation showing how to adapt a hygienic macros system to JavaScript.
- Game Semantics for Type Soundness (LICS 2015): using a pi-calculus like formulation of game semantics to do type soundness proofs.
- Virtual Values for Language Extension (OOPSLA 2011): a generalization and formalization of existing meta-object systems with a particular application for JavaScript.
- Temporal Higher-Order Contracts (ICFP 2011): bringing temporal assertions to higher-order contracts.