A unified approach to fully lazy sharing (Q2942896)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6481270
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A unified approach to fully lazy sharing |
scientific article; zbMATH DE number 6481270 |
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
0.8168376684188843
0 references
0.7885827422142029
0 references
0.7885827422142029
0 references
0.780530571937561
0 references
0.7670890092849731
0 references
