Giuseppe Castagna

发表

Luigi Liquori, Giuseppe Castagna, 1996, ASIAN.
Giuseppe Castagna, Giuseppe Castagna, 2005 .
Giuseppe Castagna, Véronique Benzaken, Marwan Burelle, 2003, ASIAN.
Giuseppe Castagna, Véronique Benzaken, Laurent Daynès, 2018, WWW.
Giuseppe Castagna, Adriana B. Compagnoni, 2002, Inf. Comput..
Giuseppe Castagna, Victor Lanvin, Mickael Laurent, 2019, Sci. Comput. Program..
Giuseppe Castagna, Hyeonseung Im, Véronique Benzaken, 2015, ESOP.
Giuseppe Castagna, Véronique Benzaken, Cédric Miachon, 2004, BDA.
Giuseppe Castagna, Alain Frisch, 2005, ICALP.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2009, PPDP '09.
Giuseppe Castagna, Alain Frisch, Haruo Hosoya, 2009, ACM Trans. Program. Lang. Syst..
John Tang Boyland, Giuseppe Castagna, G. Castagna, 1997, OOPSLA '97.
Giuseppe Castagna, G. Castagna, Giuseppe Castagna, 2005, DBPL.
Giuseppe Castagna, Véronique Benzaken, Alain Frisch, 2003, ACM SIGPLAN Notices.
Giuseppe Castagna, Maria-Virginia Aponte, 1996 .
Luca Padovani, Giuseppe Castagna, Hyeonseung Im, 2014, POPL.
Luca Padovani, Giuseppe Castagna, Nils Gesbert, 2007, TOPL.
Jan Vitek, Giuseppe Castagna, J. Vitek, 1998, ICCL Workshop: Internet Programming Languages.
Giuseppe Castagna, Alain Frisch, G. Castagna, 2005, ICALP.
Giuseppe Castagna, Giuseppe Longo, Giorgio Ghelli, 1992, LFP '92.
Giuseppe Castagna, Francesco Zappa Nardelli, Giorgio Ghelli, 2001, CONCUR.
Giuseppe Castagna, Véronique Benzaken, Alain Frisch, 2003, ICFP '03.
Giuseppe Castagna, Kim Nguyen, 2008, PLAN-X.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2008 .
Ioana Manolescu, Christoph Koch, Cong Yu, 2009, Encyclopedia of Database Systems.
Giuseppe Castagna, 1997 .
Giuseppe Castagna, Dario Colazzo, Véronique Benzaken, 2006, VLDB.
Luca Padovani, Giuseppe Castagna, 2009, CONCUR.
Giuseppe Castagna, G. Castagna, 2009, Lecture Notes in Computer Science.
Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.
Giuseppe Castagna, G. Castagna, 1995, TOPL.
Giuseppe Castagna, 2013, Lecture Notes in Computer Science.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2019, PPDP.
Ling Liu, Giuseppe Castagna, Stijn Vansummeren, 2009 .
Giuseppe Castagna, Francesco Zappa Nardelli, 2002, FSTTCS.
Daniele Varacca, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2006, CONCUR.
John Tang Boyland, Giuseppe Castagna, G. Castagna, 1996, ECOOP.
Giuseppe Castagna, Véronique Benzaken, Jérôme Siméon, 2013, POPL.
Giuseppe Castagna, Victor Lanvin, G. Castagna, 2017, Proc. ACM Program. Lang..
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Davide Ancona, Viviana Mascardi, Luca Padovani, 2016, Found. Trends Program. Lang..
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2001, FOSAD.
Giuseppe Castagna, Julien Demouth, Stefano Zacchiroli, 2011 .
Ioana Manolescu, Cong Yu, Andrew Trotman, 2009, Encyclopedia of Database Systems.
Giuseppe Castagna, 1995, BDA.
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2000, CONCUR.
Giuseppe Castagna, Kim Nguyen, Tommaso Petrucciani, 2016, ICFP.
Giuseppe Castagna, G. Castagna, 1996, Formal Aspects of Computing.
Giuseppe Castagna, Zhiwu Xu, G. Castagna, 2011, ICFP.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2011, FMOODS/FORTE.
Davide Ancona, Elena Zucca, Giuseppe Castagna, 2018, TYPES.
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo, 1992 .
Giuseppe Castagna, Dario Colazzo, Véronique Benzaken, 2013, TODS.
Michele Bugliesi, Giuseppe Castagna, 2002, Comput. Lang. Syst. Struct..
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2002, F-WAN@ICALP.
Gary T. Leavens, Giuseppe Castagna, 1990, Lecture Notes in Computer Science.
Daniele Varacca, Rocco De Nicola, Giuseppe Castagna, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Giuseppe Castagna, Nils Gesbert, Luca Padovani Isti, 2007 .
Giuseppe Castagna, 1997 .
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2001, TACS.
Jan Vitek, Giuseppe Castagna, 2007 .
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2004, TOPL.
Giuseppe Castagna, Véronique Benzaken, Alain Frisch, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Jan Vitek, Giuseppe Castagna, Francesco Zappa Nardelli, 2005, Inf. Comput..
Luca Cardelli, Giuseppe Castagna, Andrew Phillips, 2006, Trans. Comp. Sys. Biology.
Giuseppe Castagna, Dario Colazzo, Alain Frisch, 2005, ICTCS.
Giuseppe Castagna, G. Castagna, 1997 .
Cong Yu, Andrew Trotman, Christoph Koch, 2009, Encyclopedia of Database Systems.
Giuseppe Castagna, 1997, Theor. Comput. Sci..
Daniele Varacca, Rocco De Nicola, Giuseppe Castagna, 2008, Theor. Comput. Sci..
Giuseppe Castagna, G. Castagna, 1995, Theor. Comput. Sci..
Giuseppe Castagna, Giuseppe Longo, Giorgio Ghelli, 1993, TLCA.
Gang Chen, Giuseppe Castagna, G. Castagna, 2001, Inf. Comput..
Giuseppe Castagna, 1997 .
Giuseppe Castagna, Stijn Vansummeren, Benjamin C. Pierce, 2009, Encyclopedia of Database Systems.
Jan Vitek, Giuseppe Castagna, 1999 .
Giuseppe Castagna, 1995, Theor. Comput. Sci..
Michele Bugliesi, Giuseppe Castagna, 2001, POPL '01.
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2001, ICTCS.
Giuseppe Castagna, G. Castagna, Giuseppe Castagna, 1997, Progress in Theoretical Computer Science.
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2002, TOSCA.
Michele Bugliesi, Silvia Crafa, Giuseppe Castagna, 2001, CONCUR.
Giuseppe Castagna, 1997 .
Gary T. Leavens, Giuseppe Castagna, 1995, SIGP.
Giuseppe Castagna, Dario Colazzo, Véronique Benzaken, 2007, BDA.
Giuseppe Castagna, Jeremy G. Siek, Victor Lanvin, 2019, IFL.
Giuseppe Castagna, Benjamin C. Pierce, 1995, POPL '95.
Giuseppe Castagna, Alain Frisch, Haruo Hosoya, 2005, POPL '05.
Giuseppe Castagna, Giuseppe Longo, Giorgio Ghelli, 1995, Inf. Comput..
Giuseppe Castagna, Jeremy G. Siek, Victor Lanvin, 2019, Proc. ACM Program. Lang..
Giuseppe Castagna, Andrew D. Gordon, G. Castagna, 2017, POPL 2017.
Giuseppe Castagna, Benjamin C. Pierce, 1994, POPL '94.
Cosimo Laneve, Luca Padovani, Giuseppe Castagna, 2006, WS-FM.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2012, Log. Methods Comput. Sci..
Giuseppe Castagna, Véronique Benzaken, Cédric Miachon, 2005, PADL.
Jan Vitek, Giuseppe Castagna, 1998 .