Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
- Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
- Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
- Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Nicholas NgMonzoVerified email at monzo.com
- Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
- Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
- Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
- Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
- Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
- Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
- Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
- Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerified email at inria.fr
- Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
- Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu