25 citations · 37 across the 4 of their papers we have counts for
4 papers
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
Alex Hubers, J. Garrett Morris
We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and varian…
Variations on Variants
J. Garrett Morris
Extensible variants improve the modularity and expressiveness of programming languages: they allow program functionality to be decomposed into independent blocks, and allow seamles…
The Best of Both Worlds: Linear Functional Programming without Compromise
J. Garrett Morris
We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional pr…
Sessions as Propositions
Sam Lindley, J. Garrett Morris
Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this…