public

Unboxed union types in Scala via the Curry-Howard isomorphism

Unboxed union types in Scala via the Curry-Howard isomorphismbdarfler: Holy crap Scala types are powerful. Ya, that’s a really sweet article too.

11 years ago

Latest Post Code Story interview with Noah Labhart by Aaron White public
Unboxed union types in Scala via the Curry-Howard isomorphism

bdarfler:

Holy crap Scala types are powerful.

Ya, that’s a really sweet article too.

Aaron White

Published 11 years ago