Author of the publication

Brand Objects for Nominal Typing.

, , and . ECOOP, volume 37 of LIPIcs, page 198-221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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

An Introduction to the Tarraingím Program Animation Environment., and . TOOLS (6), page 37-50. Prentice Hall, (1992)Hacking with multi-touch for Java (MT4j)., , , and . Mobile!@SPLASH, page 17-20. ACM, (2016)Poster reception - Human arterial tree simulation on TeraGrid., , , , , and . SC, page 152. ACM Press, (2006)Activity Theory for Design From Checklist to Interview - From Checklist to Interview., , and . HWID, volume 221 of IFIP, page 1-25. Springer, (2006)Postmodern prospects for conceptual modelling., and . APCCM, volume 53 of CRPIT, page 11-20. Australian Computer Society, (2006)Dynamic ownership in a dynamic language., and . DLS, page 41-52. ACM, (2007)Factoring culture into the design of a persuasive game., , , , and . OZCHI, volume 206 of ACM International Conference Proceeding Series, page 213-220. ACM, (2006)From pushing buttons to play and progress: value and interaction in fable., , , and . AUIC, volume 50 of CRPIT, page 61-68. Australian Computer Society, (2006)Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only., , and . ECOOP, volume 2072 of Lecture Notes in Computer Science, page 2-27. Springer, (2001)Efficient Multimethods in a Single Dispatch Language., , and . ECOOP, volume 3586 of Lecture Notes in Computer Science, page 337-361. Springer, (2005)