Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs

DOI10.1093/logcom/5.4.397zbMath0833.68078OpenAlexW2018759403MaRDI QIDQ4847376

Thomas P. Jensen

Publication date: 20 September 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/5.4.397

zbMATH Keywords

strictnesscategory theoryprogram analysistype systemsbinding-time analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (2)

The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Strictness, totality, and non-standard-type inference

This page was built for publication: Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs