76 citations · 156 across the 20 of their papers we have counts for
1 paper · 2 filters
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…