Author of the publication

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

Visual and unplugged coding lessons with smart toys., , and . CoRR, (2022)Double dispatch in C++., , and . Softw. Pract. Exp., 36 (6): 581-613 (2006)Information Flow Safety in Multiparty Sessions, , and . EXPRESS, volume 64 of EPTCS, page 16-30. (2011)Deriving session and union types for objects., , , , and . Math. Struct. Comput. Sci., 23 (6): 1163-1219 (2013)A mechanism for flexible dynamic trait replacement., , and . FTfJP@ECOOP, page 9:1-9:7. ACM, (2009)Translating Double Dispatch into Single Dispatch., , and . WOOD, volume 138 of Electronic Notes in Theoretical Computer Science, page 59-78. Elsevier, (2004)Mental State Attribution to Educational Robots: An Experience with Children in Primary School 235-242., and . IUI Workshops, volume 3359 of CEUR Workshop Proceedings, page 235-242. CEUR-WS.org, (2023)A Social Network Simulation Game to Raise Awareness of Privacy Among School Children., , , , , and . IEEE Trans. Learn. Technol., 12 (4): 456-469 (2019)Featherweight Java with multi-methods., , and . PPPJ, volume 272 of ACM International Conference Proceeding Series, page 83-92. ACM, (2007)Dynamic overloading with copy semantics in object-oriented languages: a formal account., , and . RAIRO Theor. Informatics Appl., 43 (3): 517-565 (2009)