John Longley - RankMe

21 papers A 1B 2C 1Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Asymptotic speedup via effect handlers. J. Funct. Program. Daniel Hillerström, Sam Lindley, John Longley
2020	J	`jnl`	Effects for Efficiency: Asymptotic Speedup with First-Class Control. CoRR Daniel Hillerström, Sam Lindley, John Longley
2020	J	`jnl`	Effects for efficiency: asymptotic speedup with first-class control. Proc. ACM Program. Lang. Daniel Hillerström, Sam Lindley, John Longley
2019	J	`jnl`	Bar recursion is not computable via iteration. Comput. John Longley
2018	J	`jnl`	Bar recursion is not computable via iteration. CoRR John Longley
2018	J	`jnl`	The encodability hierarchy for PCF types. CoRR John Longley
2018	J	`jnl`	The recursion hierarchy for PCF is strict. Log. Methods Comput. Sci. John Longley
2016	J	`jnl`	The recursion hierarchy for PCF is strict. CoRR John Longley
2015	—	`book`	Higher-Order Computability John Longley, Dag Normann
2014	J	`jnl`	Computability structures, simulations and realizability. Math. Struct. Comput. Sci. John Longley
2009	B	`conf`	Some Programming Languages Suggested by Game Models (Extended Abstract). MFPS John Longley
2008	C	`conf`	Interpreting Localized Computational Effects Using Operators of Higher Type. CiE John Longley
2007	J	`jnl`	On the ubiquity of certain total type structures. Math. Struct. Comput. Sci. John Longley
2004	—	`conf`	Reasoning About CBV Functional Programs in Isabelle/HOL. TPHOLs John Longley, Randy Pollack
2002	—	`conf`	On the Ubiquity of Certain Total Type Structures: (Extended Abstract). Workshop on Domains John Longley
2002	J	`jnl`	The sequentially realizable functionals. Ann. Pure Appl. Log. John Longley
2000	B	`conf`	Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
1999	—	`conf`	Matching typed and untyped realizability. Realizability Semantics and Applications@FLoC John Longley
1999	A	`conf`	When is a Functional Program Not a Functional Program? ICFP John Longley
1998	—	`conf`	Matching typed and untyped realizability. Workshop on Domains John Longley
1997	J	`jnl`	Partial Functions in a Total Setting. J. Autom. Reason. Simon Finn, Michael P. Fourman, John Longley