3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi
Herman et al. pointed out that the insertion of run-time checks into a gradually typed program could hamper tail-call optimization and, as a result, worsen the space complexity of…