BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Disney:Tim

Contributed to:

LICS 20152015
ISSTA 20122012
ICFP 20112011
OOPSLA 20112011
ESOP 20162016

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.