A note on abstract interpretation of polymorphic functions
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 367-378
- https://doi.org/10.1007/3540543961_18
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Strictness analysis and polymorphic invariancePublished by Springer Nature ,1986
- Data Types as LatticesSIAM Journal on Computing, 1976