activity
20172019
most citedSpace Improvements and Equivalences in a Functional Core Language

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

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.PL2017★ 2 cited

An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages

Nils Dallmeyer, Manfred Schmidt-Schauss

We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended with an eager garbage colle…