De Liguoro Ugo
Department of Computer Science
University of Turin
Italy
Biography
De Liguoro Ugo is working as Associate Professor at the Department of Computer Science, University of Turin, Italy.
Research Interest
bisimulation; formal reasoning; abstract mathematics; Client/server interaction
Publications
-
Bessai J, Dudenhefner A, Düdder B, Chen TC, de’Liguoro U, Rehof J. Mixin composition synthesis based on intersection types. InLIPIcs-Leibniz International Proceedings in Informatics 2015 (Vol. 38). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
-
Bessai J, Düdder B, Dudenhefner A, Chen TC, de'Liguoro U. Typing classes and mixins with intersection types. arXiv preprint arXiv:1503.04911. 2015 Mar 17.
