1 code implementation • 1 Jul 2020 • Daniel Hillerström, Sam Lindley, John Longley
We study the fundamental efficiency of delimited control.
Programming Languages
1 code implementation • 24 Oct 2019 • Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model.
Programming Languages
1 code implementation • 23 Oct 2017 • Robert Atkey, Michel Steuwer, Sam Lindley, Christophe Dubach
Performance results on GPUs and a multicore CPU show that the formalised translation process generates low-level code with performance on a par with code generated from ad hoc approaches.
Distributed, Parallel, and Cluster Computing Programming Languages
no code implementations • 28 Nov 2016 • Sam Lindley, Conor McBride, Craig McLaughlin
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction.
Programming Languages
no code implementations • 28 Oct 2016 • Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
We use the adequate finitary set-theoretic denotational semantics for the monadic calculus to show that effect handlers cannot be macro-expressed while preserving typeability either by monadic reflection or by delimited control.
Logic in Computer Science Programming Languages
