自分のプロフィールを作成
オープン アクセス
すべて表示6 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Conor McBrideReader, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of Technology確認したメール アドレス: ru.is
- Thorsten AltenkirchProfessor of Computer Science, University of Nottingham確認したメール アドレス: cs.nott.ac.uk
- Philip WadlerUniversity of Edinburgh and IOHK/IOG確認したメール アドレス: inf.ed.ac.uk
- Orestis MelkonianInput Output (IOG/IOHK)確認したメール アドレス: iohk.io
- Allais GuillaumeChancellor's Fellow, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Robert AtkeyUniversity of Strathclyde確認したメール アドレス: strath.ac.uk
- Michael Peyton JonesIOHK確認したメール アドレス: michaelpj.com
- Manuel M T ChakravartyTweag I/O & IOHK確認したメール アドレス: justtesting.org
- Niccolò VeltriResearcher, Department of Software Science, Tallinn University of Technology確認したメール アドレス: cs.ioc.ee
- James McKinnaHeriot-Watt University, Edinburgh確認したメール アドレス: hw.ac.uk
- Pierre-Evariste DagandCNRS確認したメール アドレス: evr.ist
- Kevin HammondHead of Software Engineering (Cardano Core), IOG確認したメール アドレス: iohk.io
- Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg University確認したメール アドレス: gu.se
- Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain確認したメール アドレス: uclouvain.be
- Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHK確認したメール アドレス: uib.no
- Danel AhmanInstitute of Computer Science, University of Tartu確認したメール アドレス: ut.ee
- Chad NesterTallinn University of Technology確認したメール アドレス: taltech.ee
- Ulf NorellUniversity of Gothenburg確認したメール アドレス: chalmers.se