Mijn eigen profiel maken
Openbare toegang
Alles bekijken4 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Amal AhmedNortheastern UniversityGeverifieerd e-mailadres voor ccs.neu.edu
- Philip WadlerUniversity of Edinburgh and IOHK/IOGGeverifieerd e-mailadres voor inf.ed.ac.uk
- Jeremy G. SiekProfessor of Computer Science, Indiana UniversityGeverifieerd e-mailadres voor indiana.edu
- Max S. NewAssistant Professor, University of MichiganGeverifieerd e-mailadres voor umich.edu
- Clément Pit-ClaudelEPFLGeverifieerd e-mailadres voor epfl.ch
- Adam ChlipalaMIT CSAILGeverifieerd e-mailadres voor csail.mit.edu
- Michael DixonLos Alamos National LaboratoryGeverifieerd e-mailadres voor mdxn.org
- Andres ErbsenMIT CSAILGeverifieerd e-mailadres voor mit.edu