( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal higher-order contracts.

, , и . ICFP, стр. 176-188. ACM, (2011)

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.

Tim Mattern

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

Ralph Timaru-Kast

Roman Timofeev

Stefan Timm

Melanie Timpel

 

Другие публикации лиц с тем же именем

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