research
∙
02/13/2021
Strong Call-by-Value is Reasonable, Implosively
Whether the number of beta-steps in the lambda-calculus can be taken as ...
share
research
∙
01/08/2021
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
This volume contains a selection of papers presented at LFMTP 2020, the ...
research
∙
09/02/2020
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
This volume constitutes the pre-proceedings of the 28th International Wo...
research
∙
07/13/2019
Sharing Equality is Linear
The λ-calculus is a handy formalism to specify the evaluation of higher-...
research
∙
07/13/2019
Crumbling Abstract Machines
Extending the lambda-calculus with a construct for sharing, such as let ...
research
∙
02/22/2012