On Polymorphic Recursion, Type Systems, and Abstract Interpretation
From MaRDI portal
Publication:3522067
DOI10.1007/978-3-540-69166-2_10zbMath1149.68340OpenAlexW1754134429MaRDI QIDQ3522067
Ferruccio Damiani, Samuel Vrech, Marco Comini
Publication date: 28 August 2008
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69166-2_10
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work