5 citations · 8 across the 4 of their papers we have counts for
8 papers · 1 filter
A Typed Slicing Compilation of the Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Sam Lindley +1
The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We devel…
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…
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…
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…
A Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Simon Fowler +1
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. Subsequen…
Proceedings ML Family / OCaml Users and Developers workshops
Sam Lindley, Gabriel Scherer
This volume contains the joint post-proceedings of the 2017 editions of the ML Family Workshop and the OCaml Users and Developers Workshop which took place in Oxford, UK, September…