activity
20202026
most citedStrong Call by Value is Reasonable for Time

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

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.PL2024

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction

Tomasz Drab

The lambda calculus since more than half a century is a model and foundation of functional programming languages. However, lambda expressions can be evaluated with different reduct…