64 citations · 157 across the 11 of their papers we have counts for
1 paper · 2 filters
Matthijs Vákár
Real world programming languages crucially depend on the availability of computational effects to achieve programming convenience and expressive power as well as program efficiency…