21 citations · 70 across the 12 of their papers we have counts for
1 paper · 1 filter
Danko Ilik
We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimit…