Trust in the λ-calculus
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 314-329
- https://doi.org/10.1007/3-540-60360-3_47
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- TAPSOFT '95: Theory and Practice of Software DevelopmentPublished by Springer Nature ,1995
- Efficient inference of partial typesJournal of Computer and System Sciences, 1994
- Dynamic typingPublished by Springer Nature ,1992
- Refinement types for MLPublished by Association for Computing Machinery (ACM) ,1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Strictness analysisPublished by Association for Computing Machinery (ACM) ,1989
- Strictness analysis for higher-order functionsScience of Computer Programming, 1986
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984
- Certification of programs for secure information flowCommunications of the ACM, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977