A unified approach to fully lazy sharing (Q2942896)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A unified approach to fully lazy sharing |
scientific article |
Statements
A unified approach to fully lazy sharing (English)
0 references
11 September 2015
0 references
full laziness
0 references
labelling
0 references
lambda-calculus
0 references
lambda-lifting
0 references
optimality
0 references
rewriting
0 references
sharing
0 references
weak reduction
0 references
