No | Text |
1 | Joe leslie-hurd |
No | Text |
1 | Selected blog posts [more] |
2 | Selected talks [more] |
3 | Selected publications [more] |
4 | Conferences [more] |
No | Text |
1 | IEEE Transactions on Computers |
2 | Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014) |
3 | Lecture Notes in Computer Science |
4 | Haskell '13: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell |
No | Text |
1 | (solving a game is not the same thing as playing it well) |
2 | (scaling up is easy when you have a universal tile) |
Icon | Domain | IP | Alexa Rank |
Mihtool.com | 173.230.144.131 | 2.186.015 | |
Geekuninstaller.com | 173.230.144.164 | 119.914 |