scientific article; zbMATH DE number 18625

MaRDI QIDQ3976029zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 26 June 1992

zbMATH Keywords

decidabilitypolymorphic \(\lambda\)-calculussemi-unificationtype inference problemunification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 445157
• THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F
• The complexity of type inference for higher-order typed lambda calculi
• A semantics for static type inference
• scientific article; zbMATH DE number 1638659

Cited in

(18)

• The implication and finite implication problems for typed template dependencies
• Type reconstruction in finite rank fragments of the second-order -calculus
• A type inference algorithm for a stratified polymorphic type discipline
• Abstract data type systems
• Erratum to ``Efficient inference of object types
• Domain-free -calculus
• scientific article; zbMATH DE number 445157 (Why is no real title available?)
• Existential type systems between Church and Curry style (type-free style)
• scientific article; zbMATH DE number 1330133 (Why is no real title available?)
• scientific article; zbMATH DE number 1512625 (Why is no real title available?)
• Quantifier elimination and parametric polymorphism in programming languages
• A semantics for type checking
• Type Preservation as a Confluence Problem
• Geometry of synthesis III
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• An empirical study into COBOL type inferencing
• Polymorphic type inference for the relational algebra
• Type inference for polymorphic references

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976029)