Padovani Luca
Department of Computer Science
University of Turin
Italy
Biography
Padovani Luca is working as Associate Professor at the Department of Computer Science, University of Turin, Italy.
Research Interest
Semantics; functional programming; Computer Networks and Communications; Code Generators
Publications
-
Padovani L, Zacchiroli S. From notation to semantics: There and back again. InMKM 2006 Aug 12 (Vol. 6, No. 26, pp. 194-207).
-
Padovani L. Session types at the mirror. arXiv preprint arXiv:0911.5449. 2009 Nov 29.