自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Yannick ZakowskiInria確認したメール アドレス: inria.fr
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Li-yao XiaUniversity of Edinburgh確認したメール アドレス: ed.ac.uk
- Gregory MalechaBedRock Systems, Inc確認したメール アドレス: bedrocksystems.com
- ludovic henrioCNRS確認したメール アドレス: ens-lyon.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USA確認したメール アドレス: gatech.edu
- Florin ManeaUniversity of Göttingen確認したメール アドレス: informatik.uni-goettingen.de
- Joel DayLoughborough University確認したメール アドレス: lboro.ac.uk
- Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu Kiel確認したメール アドレス: zs.uni-kiel.de
- Ondrej LhotakComputer Science, University of Waterloo確認したメール アドレス: uwaterloo.ca
- Marianna RapoportUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Ethan CecchettiAssistant Professor of Computer Sciences, University of Wisconsin - Madison確認したメール アドレス: wisc.edu
- Andrew K. HirschUniversity at Buffalo, SUNY確認したメール アドレス: buffalo.edu
- Valentin RobertUniversity of California, San Diego確認したメール アドレス: cs.ucsd.edu
- Andrei StefanescuResearch Engineer, Galois Inc確認したメール アドレス: stefanescu.io