自分のプロフィールを作成
オープン アクセス
すべて表示23 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Dimitrios VytiniotisDeepMind確認したメール アドレス: google.com
- Philip WadlerUniversity of Edinburgh and IOHK/IOG確認したメール アドレス: inf.ed.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers University確認したメール アドレス: chalmers.se
- Paul HudakProfessor of Computer Science, Yale University確認したメール アドレス: yale.edu
- John LaunchburyChief Scientist, Galois確認したメール アドレス: galois.com
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHK確認したメール アドレス: justtesting.org
- Erik MeijerMicrosoft確認したメール アドレス: meijcrosoft.com
- Alastair ReidSenior Principal Engineer確認したメール アドレス: intel.com
- Gabriele KellerUtrecht University確認したメール アドレス: uu.nl
- Tim HarrisMicrosoft確認したメール アドレス: microsoft.com
- Ralf HinzeProfessor of Software Engineering, TU Kaiserslautern確認したメール アドレス: cs.uni-kl.de
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied Sciences確認したメール アドレス: h-ka.de
- Christopher D. ClackUniversity College London確認したメール アドレス: cs.ucl.ac.uk
- Colin RuncimanProfessor of Computer Science, University of York, UK確認したメール アドレス: york.ac.uk
- Tom SchrijversProfessor of Computer Science, KU Leuven確認したメール アドレス: cs.kuleuven.be
- Norman RamseyProfessor of Computer Science, Tufts University確認したメール アドレス: cs.tufts.edu
- Andy GillCerebras確認したメール アドレス: cerebras.net
- Ralf LämmelUniversity of Koblenz確認したメール アドレス: uni-koblenz.de
- Maurice HerlihyAn Wang Professor of Computer Science, Brown University確認したメール アドレス: cs.brown.edu