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

Deriving session and union types for objects., , , , and . Math. Struct. Comput. Sci., 23 (6): 1163-1219 (2013)Visual and unplugged coding lessons with smart toys., , and . CoRR, (2022)Double dispatch in C++., , and . Softw. Pract. Exp., 36 (6): 581-613 (2006)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)Information Flow Safety in Multiparty Sessions, , and . EXPRESS, volume 64 of EPTCS, page 16-30. (2011)Translating Double Dispatch into Single Dispatch., , and . WOOD, volume 138 of Electronic Notes in Theoretical Computer Science, page 59-78. Elsevier, (2004)A mechanism for flexible dynamic trait replacement., , and . FTfJP@ECOOP, page 9:1-9:7. ACM, (2009)A Social Network Simulation Game to Raise Awareness of Privacy Among School Children., , , , , and . IEEE Trans. Learn. Technol., 12 (4): 456-469 (2019)Dynamic overloading with copy semantics in object-oriented languages: a formal account., , and . RAIRO Theor. Informatics Appl., 43 (3): 517-565 (2009)Fostering Awareness and Personalization of Learning Artificial Intelligence., , , , , , , , , and 7 other author(s). Ital-IA, volume 3486 of CEUR Workshop Proceedings, page 449-454. CEUR-WS.org, (2023)