Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Hi-index | 0.00 |