scientific article; zbMATH DE number 18625

zbMATH Open0745.03013MaRDI QIDQ3976029FDOQ3976029

Authors: Jerzy Tiuryn 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

decidabilityunificationpolymorphic \(\lambda\)-calculussemi-unificationtype inference problem

Mathematics Subject Classification ID

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

Cited In (15)

• Title not available (Why is that?)
• Type Preservation as a Confluence Problem
• Existential type systems between Church and Curry style (type-free style)
• Geometry of synthesis III
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• Title not available (Why is that?)
• Abstract data type systems
• Erratum to ``Efficient inference of object types
• Type inference for polymorphic references
• Polymorphic type inference for the relational algebra
• A semantics for type checking
• Domain-free \(\lambda\mu\)-calculus
• Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus
• An empirical study into COBOL type inferencing
• The implication and finite implication problems for typed template dependencies

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)