54 citations · 98 across the 9 of their papers we have counts for
10 papers
UC, Categorically: Rigorous Diagrammatic Proofs
Pooya Farshim, Martti Karvonen, Andre Knispel +2
Category theory is a mathematical theory of composition, widely used in logic, computing, and physics. Here we apply it to give a theory of secure composition. In particular, we pr…
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…
Unifying graded and parameterised monads
Dominic Orchard, Philip Wadler, Harley Eades
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads…
Towards Races in Linear Logic
Wen Kokke, J. Garrett Morris, Philip Wadler
Process calculi based in logic, such as DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation…
Refinement Reflection: Complete Verification with SMT
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury +4
We introduce Refinement Reflection, a new framework for building SMT-based deductive verifiers. The key idea is to reflect the code implementing a user-defined function into the fu…
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…
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…
Everything old is new again: Quoted Domain Specific Languages
Shayan Najd, Sam Lindley, Josef Svenningsson +1
We describe a new approach to domain specific languages (DSLs), called Quoted DSLs (QDSLs), that resurrects two old ideas: quotation, from McCarthy's Lisp of 1960, and the subformu…
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version)
James Cheney, Sam Lindley, Philip Wadler
Nested relational query languages have been explored extensively, and underlie industrial language-integrated query systems such as Microsoft's LINQ. However, relational databases…
Effective Quotation: relating approaches to language-integrated query
James Cheney, Sam Lindley, Gabriel Radanne +1
Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both ap…