33 citations · 33 across the 2 of their papers we have counts for
1 paper · 1 filter
Oleg Kiselyov
The present paper shows meta-programming turn programming, which is rich enough to express arbitrary arithmetic computations. We demonstrate a type system that implements Peano ari…