( en | de | ru )

 

Disambiguation of "Disney, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
Cooperative types for controlling thread interference in Java.

, , , and . ISSTA, page 232-242. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Ralph Timaru-Kast

Roman Timofeev

Stefan Timm

Melanie Timpel

 

Other publications of authors with the same name

Cooperative types for controlling thread interference in Java., , , and . ISSTA, page 232-242. ACM, (2012)Temporal higher-order contracts., , and . ICFP, page 176-188. ACM, (2011)Virtual values for language extension., , and . OOPSLA, page 921-938. ACM, (2011)Dynamic detection of object capability violations through model checking., , and . DLS, page 103-112. ACM, (2014)Sweeten your JavaScript: hygienic macros for ES5., , , and . DLS, page 35-44. ACM, (2014)Game Semantics for Type Soundness., and . LICS, page 104-114. IEEE Computer Society, (2015)Macrofication: Refactoring by Reverse Macro Expansion., , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 644-671. Springer, (2016)A comparison of texture models for automatic liver segmentation., , , , and . Medical Imaging: Image Processing, volume 6512 of SPIE Proceedings, page 65124E. SPIE, (2007)contracts.coffee. (2012)Hygienic Macros for JavaScript.. University of California, Santa Cruz, USA, (2015)