3 citations · 3 across the 1 of their papers we have counts for
3 papers
cs.PL2020★ 3 cited
Effects for Efficiency: Asymptotic Speedup with First-Class Control
Daniel Hillerström, Sam Lindley, John Longley
We study the fundamental efficiency of delimited control. Specifically, we show that effect handlers enable an asymptotic improvement in runtime complexity for a certain class of f…
cs.LO2018
The encodability hierarchy for PCF types
John Longley
Working with the simple types over a base type of natural numbers (including product types), we consider the question of when a type is encodable as a definable retract of :…
cs.LO2018
Bar recursion is not computable via iteration
John Longley
We show that the bar recursion operators of Spector and Kohlenbach, considered as third-order functionals acting on total arguments, are not computable in Goedel's System T plus mi…