1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
Modal Effect Types
Wenhao Tang, Leo White, Stephen Dolan +3
Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some…
cs.PL2023★ 2 cited
Unboxed data constructors -- or, how cpp decides a halting problem
Nicolas Chataing, Stephen Dolan, Gabriel Scherer +1
We propose a new language feature for ML-family languages, the ability to selectively unbox certain data constructors, so that their runtime representation gets compiled away to ju…