Francesco Zappa Nardelli

发表

Jan Vitek, Benjamin Chung, Paley Li, 2018, ECOOP.
Francesco Zappa Nardelli, Peter Sewell, Scott Owens, 2011, ITP.
Francesco Zappa Nardelli, Massimo Merro, 2004, IFIP TCS.
Suresh Jagannathan, Viktor Vafeiadis, Francesco Zappa Nardelli, 2011, POPL '11.
Francesco Zappa Nardelli, Magnus O. Myreen, Peter Sewell, 2010, Commun. ACM.
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2019, ECOOP.
Francesco Zappa Nardelli, Magnus O. Myreen, Jade Alglave, 2009, SIGP.
Jan Vitek, Francesco Zappa Nardelli, Tobias Wrigstad, 2010, POPL '10.
Francesco Zappa Nardelli, Théophile Bastian, Stephen Kell, 2019, Proc. ACM Program. Lang..
Tom Ridge, Francesco Zappa Nardelli, Peter Sewell, 2007, ICFP '07.
Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008 .
Glynn Winskel, Francesco Zappa Nardelli, 2004, IFIP TCS.
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2018, Proc. ACM Program. Lang..
Giuseppe Castagna, Francesco Zappa Nardelli, Giorgio Ghelli, 2001, CONCUR.
Francesco Zappa Nardelli, Robin Morisset, 2017, CC.
Jan Vitek, Benjamin Chung, Francesco Zappa Nardelli, 2019, Dagstuhl Artifacts Ser..
Tom Ridge, Francesco Zappa Nardelli, Peter Sewell, 2010, J. Funct. Program..
Francesco Zappa Nardelli, Stephanie Weirich, Peter Sewell, 2010 .
Francesco Zappa Nardelli, 2000 .
Giuseppe Castagna, Francesco Zappa Nardelli, 2002, FSTTCS.
Viktor Vafeiadis, Francesco Zappa Nardelli, Peter Sewell, 2007, J. Funct. Program..
Nataliya Guts, Francesco Zappa Nardelli, Cédric Fournet, 2009, ESORICS.
Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008, ESOP.
Viktor Vafeiadis, Francesco Zappa Nardelli, Viktor Vafeiadis, 2011, SAS.
Nataliya Guts, Francesco Zappa Nardelli, Cédric Fournet, 2008, ESOP.
Francesco Zappa Nardelli, Robin Morisset, 2015 .
Jan Vitek, Francesco Zappa Nardelli, Gregor Richards, 2015, ECOOP.
Francesco Zappa Nardelli, Peter Sewell, 2006 .
Francesco Zappa Nardelli, Jade Alglave, Peter Sewell, 2009 .
Jan Vitek, Giuseppe Castagna, Francesco Zappa Nardelli, 2005, Inf. Comput..
Jan Vitek, Benjamin Chung, Paley Li, 2018, Dagstuhl Artifacts Ser..
Viktor Vafeiadis, Francesco Zappa Nardelli, Soham Sundar Chakraborty, 2015, POPL.
Nataliya Guts, Francesco Zappa Nardelli, Cédric Fournet, 2008 .
Tom Ridge, Francesco Zappa Nardelli, Magnus O. Myreen, 2009, POPL '09.
Viktor Vafeiadis, Francesco Zappa Nardelli, Peter Sewell, 2005, ICFP '05.
Francesco Zappa Nardelli, Massimo Merro, Massimo Merro, 2003, ICALP.
Albert Cohen, Francesco Zappa Nardelli, Antoniu Pop, 2013, PPoPP '13.
Francesco Zappa Nardelli, Robin Morisset, Pankaj Pawan, 2013, PLDI.
Suresh Jagannathan, Viktor Vafeiadis, Francesco Zappa Nardelli, 2013, JACM.
Francesco Zappa Nardelli, Magnus O. Myreen, Jade Alglave, 2009, DAMP '09.
Francesco Zappa Nardelli, Massimo Merro, Massimo Merro, 2004, IFIP TCS.
Peter W. O'Hearn, Francesco Zappa Nardelli, Quentin Carbonneaux, 2022, CPP.
Francesco Zappa Nardelli, Peter Sewell, Peter Sewell, 2010 .
Francesco Zappa Nardelli, S. Jagannathan, J. Vitek, 2013 .
Francesco Zappa Nardelli, Robin Morisset, Pankaj Pawan, 2013, PLDI.
Francesco Zappa Nardelli, Peter Sewell, Viktor Vafeiadis, 2005, ICFP '05.