4 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Eugen Jiresch
We present ingpu, a GPU-based evaluator for interaction nets that heavily utilizes their potential for parallel evaluation. We discuss advantages and challenges of the ongoing impl…