Author of the publication

Encoding Ownership Types in Java.

, and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 271-290. Springer, (2010)

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.

 

Other publications of authors with the same name

Dynamic Languages Symposium (DLS).. J. Object Technol., (2010)GoHotDraw: evaluating the Go programming language with design patterns., , and . PLATEAU, page 10:1-10:6. ACM, (2010)Encoding Ownership Types in Java., and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 271-290. Springer, (2010)Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models, , , , , , , , , and 441 other author(s). (2022)cite arxiv:2206.04615Comment: 27 pages, 17 figures + references and appendices, repo: https://github.com/google/BIG-bench.Cloning in ownership., , and . OOPSLA Companion, page 63-66. ACM, (2011)OOPSLA FOOL Workshop.. J. Object Technol., (2010)OOPSLA day 1.. J. Object Technol., (2010)TiDB: A Raft-based HTAP Database., , , , , , , , , and 12 other author(s). Proc. VLDB Endow., 13 (12): 3072-3084 (2020)First Impressions of Reno and OOPSLA/SPLASH.. J. Object Technol., (2010)Encoding Featherweight Java with assignment and immutability using the Coq proof assistant., , , , and . FTfJP@ECOOP, page 11-19. ACM, (2012)