載入...
Spinal Atomic Lambda-Calculus
We present the spinal atomic [Formula: see text] -calculus, a typed [Formula: see text] -calculus with explicit sharing and atomic duplication that achieves spinal full laziness: duplicating only the direct paths between a binder and bound variables is enough for beta reduction to proceed. We show t...
Na minha lista:
| 發表在: | Foundations of Software Science and Computation Structures |
|---|---|
| Main Authors: | , , , |
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
2020
|
| 主題: | |
| 在線閱讀: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7788627/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45231-5_30 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|