自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Nick BentonEngineering Manager, Facebook確認したメール アドレス: fb.com
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Jana DunfieldQueen's University確認したメール アドレス: queensu.ca
- Jonathan AldrichProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Aaron TuronMPI-SWS確認したメール アドレス: mpi-sws.org
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Aleksandar NanevskiIMDEA Software Institute確認したメール アドレス: imdea.org
- Christopher PulteUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Beta ZilianiFAMAF, UNC and Manas.Tech確認したメール アドレス: mpi-sws.org
- Ryan NewtonMIT, Indiana University, Facebook確認したメール アドレス: indiana.edu
- Shaked FlurCambridge University確認したメール アドレス: cl.cam.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Robert NortonUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Alastair ReidSenior Principal Engineer確認したメール アドレス: intel.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- Kasper SvendsenDepartment of Computer Science, Aarhus University確認したメール アドレス: itu.dk
- Lindsey KuperUniversity of California, Santa Cruz確認したメール アドレス: ucsc.edu
- Jan HoffmannCarnegie Mellon University確認したメール アドレス: cmu.edu