John Longley

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Asymptotic speedup via effect handlers Journal of Functional Programming	2024-06-25	Paper
Bar recursion is not computable via iteration Computability	2020-01-17	Paper
The recursion hierarchy for PCF is strict (available as arXiv preprint)	2018-09-06	Paper
When is a functional program not a functional program? Proceedings of the fourth ACM SIGPLAN international conference on Functional programming	2016-09-01	Paper
Computability structures, simulations and realizability Mathematical Structures in Computer Science	2016-07-26	Paper
Some programming languages suggested by game models (extended abstract) Electronic Notes in Theoretical Computer Science	2016-05-10	Paper
Higher-order computability Theory and Applications of Computability	2015-12-16	Paper
On the ubiquity of certain total type structures (extended abstract)	2013-10-10	Paper
Interpreting Localized Computational Effects Using Operators of Higher Type Logic and Theory of Algorithms	2008-06-19	Paper
On the ubiquity of certain total type structures Mathematical Structures in Computer Science	2007-12-12	Paper
scientific article; zbMATH DE number 2204752 (Why is no real title available?)	2005-09-12	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2005-08-18	Paper
The sequentially realizable functionals Annals of Pure and Applied Logic	2002-12-02	Paper
scientific article; zbMATH DE number 1497736 (Why is no real title available?)	2001-03-06	Paper
scientific article; zbMATH DE number 1531368 (Why is no real title available?)	2001-02-28	Paper
scientific article; zbMATH DE number 1512616 (Why is no real title available?)	2001-01-17	Paper
scientific article; zbMATH DE number 1523049 (Why is no real title available?)	2000-10-30	Paper
A uniform approach to domain theory in realizability models Mathematical Structures in Computer Science	2000-04-06	Paper
Partial functions in a total setting Journal of Automated Reasoning	1997-09-07	Paper

Research outcomes over time

This page was built for person: John Longley