The Tensor Product in Wadler's Analysis of Lists
No abstract available.
Related papers
- Newtonian program analysis via tensor product POPL 2016
- Newtonian Program Analysis via Tensor Product TOPLAS 2017
- Terminating Comprehensions JFP 1993
- Bunched Fuzz: Sensitivity for Vector Metrics ESOP 2023
- Compilation of dynamic sparse tensor algebra OOPSLA 2022
- Shared-memory parallelization of MTTKRP for dense tensors PPoPP 2018
- On the Productivity of Recursive List Definitions TOPLAS 1989
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023