most citedUnboxed data constructors -- or, how cpp decides a halting problem

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

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…