自分のプロフィールを作成
オープン アクセス
すべて表示57 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Tom SchrijversProfessor of Computer Science, KU Leuven確認したメール アドレス: cs.kuleuven.be
- Jeremy GibbonsProfessor of Computing, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Ralf HinzeProfessor of Software Engineering, TU Kaiserslautern確認したメール アドレス: cs.uni-kl.de
- Ningning XieUniversity of Toronto / Google DeepMind確認したメール アドレス: google.com
- Xuan BiThe University of Hong Kong確認したメール アドレス: cs.hku.hk
- Andres LöhHaskell Consultant, Well-Typed LLP確認したメール アドレス: well-typed.com
- William R. CookAssociate Professor of Computer Science, University of Texas at Austin確認したメール アドレス: cs.utexas.edu
- Weixin ZhangUniversity of Bristol確認したメール アドレス: cs.hku.hk
- Meng WangReader in Computer Science, University of Bristol確認したメール アドレス: bristol.ac.uk
- Kwangkeun YiProfessor of Computer Science & Engineering, Seoul National University確認したメール アドレス: ropas.snu.ac.kr
- Abhik RoychoudhuryProfessor of Computer Science, National University of Singapore確認したメール アドレス: comp.nus.edu.sg
- Marcel BöhmeMax Planck Institute for Security & Privacy確認したメール アドレス: mpi-sp.org
- Patrik JanssonProfessor of Computer Science, Chalmers University of Technology確認したメール アドレス: chalmers.se
- Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht University確認したメール アドレス: uu.nl
- Alex GerdesSenior Lecturer, Gothenburg University / Chalmers確認したメール アドレス: chalmers.se
- Philip WadlerUniversity of Edinburgh and IOHK/IOG確認したメール アドレス: inf.ed.ac.uk
- Benjamin DelawareAssistant Professor, Purdue University確認したメール アドレス: purdue.edu
- Yanlin WangSun Yat-sen University確認したメール アドレス: mail.sysu.edu.cn
- Haoyuan ZhangThe University of Hong Kong確認したメール アドレス: cs.hku.hk
- Martin OderskyEPFL確認したメール アドレス: epfl.ch
フォロー
Bruno C. d. S. Oliveira
Associate Professor, The University of Hong Kong
確認したメール アドレス: cs.hku.hk - ホームページ