8 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
Soundly Handling Linearity
Wenhao Tang, Daniel Hillerström, Sam Lindley +1
We propose a novel approach to soundly combining linear types with effect handlers. Linear type systems statically ensure that resources such as file handles are used exactly once.…
A Calculus for Scoped Effects & Handlers
Roger Bosman, Birthe van den Berg, Wenhao Tang +1
Algebraic effects & handlers have become a standard approach for side-effects in functional programming. Their modular composition with other effects and clean separation of syntax…
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna +4
Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider rec…