自分のプロフィールを作成
オープン アクセス
すべて表示4 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrew FarmerFacebook確認したメール アドレス: fb.com
- Simon Peyton JonesEpic Games確認したメール アドレス: epicgames.com
- Neil SculthorpeNottingham Trent University確認したメール アドレス: ntu.ac.uk
- John LaunchburyChief Scientist, Galois確認したメール アドレス: galois.com
- Graham HuttonProfessor of Computer Science, University of Nottingham確認したメール アドレス: nottingham.ac.uk
- Colin RuncimanProfessor of Computer Science, University of York, UK確認したメール アドレス: york.ac.uk
- Philip WadlerUniversity of Edinburgh and IOHK/IOG確認したメール アドレス: inf.ed.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers University確認したメール アドレス: chalmers.se
- Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de Rosario確認したメール アドレス: fceia.unr.edu.ar
- Dan DePardoUniversity of Kansas確認したメール アドレス: ku.edu
- Magnus Carlsson確認したメール アドレス: carlssonia.org
- Johan NordlanderData Ductus AB確認したメール アドレス: dataductus.se
- Perry AlexanderAT&T Foundation Distinguished Professor, ITTC Director, The University of Kansas確認したメール アドレス: ku.edu
- Jurriaan HageFull professor, Heriot-Watt University, Scotland確認したメール アドレス: hw.ac.uk