54 citations · 98 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
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…
cs.PL2016
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…