Strictness analysis for higher-order functions
Authors:
- 31 December 1986
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 7, 249-278
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Strictness analysis and polymorphic invariance1986
- 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 Computation1982
- Domains for denotational semantics1982
- Full abstraction for a simple parallel programming language1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976