Generalized filter models

DOI10.1016/S0304-3975(99)00083-3zbMath0947.68033OpenAlexW2086547501MaRDI QIDQ1575259

Maddalena Zacchi, Ines Margaria

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00083-3

zbMATH Keywords

calculusmodelstype assignment

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The category of Z-continuous posets
• A characterization of F-complete type assignments
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• Polymorphic type inference and containment
• An extension of basic functionality theory for \(\lambda\)-calculus
• Filter models with polymorphic types
• Types with intersection: An introduction
• Type inference, abstract interpretation and strictness analysis
• A semantics for static type inference
• A filter lambda model and the completeness of type assignment
• Principal Typing in a ∀Λ-Discipline

This page was built for publication: Generalized filter models