John Longley

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 8

Top Topics

Classification Method

Complex Objects

Molecular Dynamics

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

J. Funct. Program.

Publications

Daniel Hillerström, Sam Lindley, John Longley
Asymptotic speedup via effect handlers. J. Funct. Program. 34 (2024)
Daniel Hillerström, Sam Lindley, John Longley
Effects for efficiency: asymptotic speedup with first-class control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Daniel Hillerström, Sam Lindley, John Longley
Effects for Efficiency: Asymptotic Speedup with First-Class Control. CoRR (2020)
John Longley
Bar recursion is not computable via iteration. Comput. 8 (2) (2019)
John Longley
The recursion hierarchy for PCF is strict. Log. Methods Comput. Sci. 14 (3) (2018)
John Longley
The encodability hierarchy for PCF types. CoRR (2018)
John Longley
Bar recursion is not computable via iteration. CoRR (2018)
John Longley
The recursion hierarchy for PCF is strict. CoRR (2016)
John Longley
Computability structures, simulations and realizability. Math. Struct. Comput. Sci. 24 (2) (2014)
John Longley
Some Programming Languages Suggested by Game Models (Extended Abstract). MFPS (2009)
John Longley
Interpreting Localized Computational Effects Using Operators of Higher Type. CiE (2008)
John Longley
On the ubiquity of certain total type structures. Math. Struct. Comput. Sci. 17 (5) (2007)
John Longley
On the Ubiquity of Certain Total Type Structures: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 73 (2004)
John Longley, Randy Pollack
Reasoning About CBV Functional Programs in Isabelle/HOL. TPHOLs (2004)
John Longley
The sequentially realizable functionals. Ann. Pure Appl. Log. 117 (1-3) (2002)
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS (2000)
John Longley
Matching typed and untyped realizability. Electron. Notes Theor. Comput. Sci. 35 (2000)
John Longley
When is a Functional Program Not a Functional Program? ICFP (1999)
John Longley
Matching typed and untyped realizability. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Simon Finn, Michael P. Fourman, John Longley
Partial Functions in a Total Setting. J. Autom. Reason. 18 (1) (1997)