28 citations · 82 across the 19 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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.PL2020
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
Max S. New, Sam Lindley
This volume contains the proceedings of the Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020). The meeting was originally scheduled to take place in D…
cs.PL2020★ 12 cited
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Frank Emrich, Sam Lindley, Jan Stolarek +2
ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is l…