3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Manfred Schmidt-Schauß, Nils Dallmeyer
We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluati…