DeepAI
Log In Sign Up

Useful Open Call-by-Need

07/14/2021
by   Beniamino Accattoli, et al.
0

This paper studies useful sharing, which is a sophisticated optimization for lambda-calculi, in the context of call-by-need evaluation in presence of open terms. Useful sharing turns out to be harder in call-by-need than in call-by-name or call-by-value, because call-by-need evaluates inside environments, making it harder to specify when a substitution step is useful. We isolate the key involved concepts and prove the correctness and the completeness of useful sharing in this setting.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/13/2019

Crumbling Abstract Machines

Extending the lambda-calculus with a construct for sharing, such as let ...
02/13/2021

Strong Call-by-Value is Reasonable, Implosively

Whether the number of beta-steps in the lambda-calculus can be taken as ...
07/13/2019

Sharing Equality is Linear

The λ-calculus is a handy formalism to specify the evaluation of higher-...
10/12/2019

Geomancer: An Open-Source Framework for Geospatial Feature Engineering

This paper presents Geomancer, an open-source framework for geospatial f...
05/20/2020

Coopetition Against an Amazon

This paper studies cooperative data-sharing between competitors vying to...
12/15/2017

Health Data in an Open World

With the aim of informing sound policy about data sharing and privacy, w...
07/19/2017

DataCite as a novel bibliometric source: Coverage, strengths and limitations

This paper explores the characteristics of DataCite to determine its pos...