自分のプロフィールを作成
オープン アクセス
すべて表示1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrew KennedyFacebook London確認したメール アドレス: fb.com
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Gavin BiermanOracle確認したメール アドレス: oracle.com
- Neelakantan R. KrishnaswamiUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Valeria de PaivaUniversity of Birmingham確認したメール アドレス: topos.institute
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Luca CardelliUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Vivek NigamApple確認したメール アドレス: apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers University確認したメール アドレス: chalmers.se
- Cédric FournetMicrosoft Research確認したメール アドレス: microsoft.com
- Lennart BeringerPrinceton University確認したメール アドレス: cs.princeton.edu
- Claudio RussoMicrosoft Research Ltd確認したメール アドレス: microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova University確認したメール アドレス: unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOG確認したメール アドレス: inf.ed.ac.uk
- Conor McBrideReader, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Jan HoffmannCarnegie Mellon University確認したメール アドレス: cmu.edu
- Pierre-Evariste DagandCNRS確認したメール アドレス: evr.ist
- nicolas tabareauInria確認したメール アドレス: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin Cities確認したメール アドレス: umn.edu