Travelled to:2 × Japan
2 × USA
Collaborated with:C.Flanagan J.McCarthy T.H.Austin C.Schuster J.Yi S.N.Freund
Talks about:type (2) refactor (1) interfer (1) contract (1) virtual (1) languag (1) control (1) thread (1) tempor (1) semant (1)
Person: Tim Disney
DBLP: Disney:Tim
Contributed to:
2015
2012
2011
2011
2016Wrote 5 papers:
- LICS-2015-DisneyF #game studies #semantics
- Game Semantics for Type Soundness (TD, CF), pp. 104–114.
- ISSTA-2012-YiDFF #concurrent #java #thread
- Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
- ICFP-2011-DisneyFM #contract #higher-order
- Temporal higher-order contracts (TD, CF, JM), pp. 176–188.
- OOPSLA-2011-AustinDF
- Virtual values for language extension (THA, TD, CF), pp. 921–938.
- ESOP-2016-SchusterDF #metaprogramming #named #refactoring
- Macrofication: Refactoring by Reverse Macro Expansion (CS, TD, CF), pp. 644–671.