Typing references by effect inference
- 1 January 1992
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 473-491
- https://doi.org/10.1007/3-540-55253-7_28
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Type Abstraction Rules for References: A Comparison of Four which have Achieved NotorietyPublished by Defense Technical Information Center (DTIC) ,1991
- Algebraic reconstruction of types and effectsPublished by Association for Computing Machinery (ACM) ,1991
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Type inference for polymorphic referencesInformation and Computation, 1990
- On determining lifetime and aliasing of dynamically allocated data in higher-order functional specificationsPublished by Association for Computing Machinery (ACM) ,1990
- A syntactic theory of sequential stateTheoretical Computer Science, 1989
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988
- A syntactic theory of sequential controlTheoretical Computer Science, 1987
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978