John Longley
According to our database1,
John Longley
authored at least 17 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
2
1
1
1
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2020
Proc. ACM Program. Lang., 2020
2019
2018
2015
Theory and Applications of Computability, Springer, ISBN: 978-3-662-47992-6, 2015
2014
Math. Struct. Comput. Sci., 2014
2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
2008
Proceedings of the Logic and Theory of Algorithms, 2008
2007
2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
2002
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002
2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
1999
Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
1997