Davide Ancona

Associate Professor
Department of Informatics, Bioengineering, Robotics, and Systems Engineering (DIBRIS)
University of Genova, Italy
E-mail: davide.ancona@unige.it
Page: http://www.disi.unige.it/person/AnconaD/

Fields of interest

Programming Languages

Recent publications

Davide Ancona, Paola Giannini, Elena Zucca: Type safe incremental rebinding. Mathematical Structures in Computer Science 27(2): 94-122 (2017)

Davide Ancona, Andrea Corradi: Semantic subtyping for imperative object-oriented languages. OOPSLA 2016: 568-587

Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)