8 citations · 11 across the 9 of their papers we have counts for
1 paper · 2 filters
Max S. New, Eric Giovannini, Daniel R. Licata
We present a gradually typed language, GrEff, with effects and handlers that supports migration from unchecked to checked effect typing. This serves as a simple model of the integr…