20 citations · 22 across the 2 of their papers we have counts for
1 paper · 1 filter
Joseph Tassarotti, Ralf Jung, Robert Harper
Compiler correctness proofs for higher-order concurrent languages are difficult: they involve establishing a termination-preserving refinement between a concurrent high-level sourc…