28 citations · 82 across the 19 of their papers we have counts for
4 papers · 1 filter
Do be do be do
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 varia…
Mixing Metaphors: Actors as Channels and Channels as Actors (Extended Version)
Simon Fowler, Sam Lindley, Philip Wadler
Channel- and actor-based programming languages are both used in practice, but the two are often confused. Languages such as Go provide anonymous processes which communicate using b…
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley +1
We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and de…
Embedding by Normalisation
Shayan Najd, Sam Lindley, Josef Svenningsson +1
This paper presents the insight that practical embedding techniques, commonly used for implementing Domain-Specific Languages, correspond to theoretical Normalisation-By-Evaluation…