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

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

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.PL2022

Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education

Peter Achten, Elena Machkasova

This volume contains the papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2021 and TFPIE 2022 that took place online, in collaboration with LambdaDa…