Giuseppe Castagna
发表
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
TACS.
Jan Vitek,
Giuseppe Castagna,
Francesco Zappa Nardelli,
2005,
Inf. Comput..
Giuseppe Castagna,
Zhiwu Xu,
G. Castagna,
2011,
ICFP.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
ICTCS.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2000,
CONCUR.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Giuseppe Castagna,
Jeremy G. Siek,
Victor Lanvin,
2019,
IFL.
Giuseppe Castagna,
Jeremy G. Siek,
Victor Lanvin,
2019,
Proc. ACM Program. Lang..
Giuseppe Castagna,
Dario Colazzo,
Alain Frisch,
2005,
ICTCS.
Giuseppe Castagna,
G. Castagna,
Giuseppe Castagna,
2005,
DBPL.
Davide Ancona,
Elena Zucca,
Giuseppe Castagna,
2018,
TYPES.
Luca Padovani,
Giuseppe Castagna,
Hyeonseung Im,
2014,
POPL.
Giuseppe Castagna,
Véronique Benzaken,
Jérôme Siméon,
2013,
POPL.
Giuseppe Castagna,
Dario Colazzo,
Véronique Benzaken,
2007,
BDA.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2009,
PPDP '09.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2008
.
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1992,
LFP '92.
Cosimo Laneve,
Luca Padovani,
Giuseppe Castagna,
2006,
WS-FM.
John Tang Boyland,
Giuseppe Castagna,
G. Castagna,
1997,
OOPSLA '97.
M. Dezani-Ciancaglini,
L. Padovani,
Giuseppe Castagna,
2011,
Log. Methods Comput. Sci..