45 citations · 146 across the 18 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…