The tensor product in Wadler's analysis of lists
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 351-370
- https://doi.org/10.1007/3-540-55253-7_21
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- Abstract Interpretation, Logical Relations, and Kan ExtensionsJournal of Logic and Computation, 1990
- Two-level semantics and abstract interpretationTheoretical Computer Science, 1989
- Projections for strictness analysisPublished by Springer Nature ,1987
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Strictness detection in non-flat domainsLecture Notes in Computer Science, 1986
- The tensor product of continuous latticesMathematische Zeitschrift, 1980
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Categories for the Working MathematicianPublished by Springer Nature ,1971