自分のプロフィールを作成
オープン アクセス
すべて表示8 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Cătălin HrițcuTenured Faculty at MPI-SP確認したメール アドレス: mpi-sp.org
- Leonidas LampropoulosAssistant Professor, University of Maryland確認したメール アドレス: umd.edu
- Yao LiPortland State University確認したメール アドレス: pdx.edu
- Yannick ZakowskiInria確認したメール アドレス: inria.fr
- Paul HeUniversity of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Yishuai LiEngineer II, Alibaba Cloud確認したメール アドレス: alibaba-inc.com
- John HughesProfessor of Computer Science and Engineering, Chalmers University確認したメール アドレス: chalmers.se
- William ManskyAssistant Professor, University of Illinois at Chicago確認したメール アドレス: uic.edu
- Wolf Honore確認したメール アドレス: yale.edu
- Lennart BeringerPrinceton University確認したメール アドレス: cs.princeton.edu
- Hengchu ZhangUniversity of Pennsylvania確認したメール アドレス: seas.upenn.edu
- Adam ChlipalaMIT CSAIL確認したメール アドレス: csail.mit.edu
- Meng WangReader in Computer Science, University of Bristol確認したメール アドレス: bristol.ac.uk
- Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of Cambridge確認したメール アドレス: kent.ac.uk
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)確認したメール アドレス: ens.fr