Joe Leslie-Hurd
Orcid: 0000-0001-6844-3586
According to our database1,
Joe Leslie-Hurd
authored at least 5 papers
between 2013 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
IEEE Trans. Computers, 2018
2017
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs).
CoRR, 2017
2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013