activity
20152022
most citedSimulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

7 citations · 16 across the 10 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Horatiu Cirstea, David Sabel

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September…