2 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Yuxin Deng, Yu Zhang
Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those ba…