Strictness analysis for higher-order functions
- 31 December 1986
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 7, 249-278
- https://doi.org/10.1016/0167-6423(86)90010-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Strictness analysis and polymorphic invariancePublished by Springer Nature ,1986
- Denotational semantics: The scott-strachey approach to programming language theory: Joseph E. Stoy (The MIT Press, Cambridge, MA)Computer Languages, 1983
- Lectures on a Mathematical Theory of ComputationPublished by Springer Nature ,1982
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- A Powerdomain ConstructionSIAM Journal on Computing, 1976