Intersection type assignment systems
From MaRDI portal
Publication:1350344
DOI10.1016/0304-3975(95)00073-6zbMATH Open0871.68031OpenAlexW2158244462MaRDI QIDQ1350344FDOQ1350344
Authors: Steffen Van Bakel 
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00073-6
Recommendations
- Inhabitation in Intersection and Union Type Assignment Systems
- Intersection types and computational rules
- A classification of intersection type systems
- scientific article; zbMATH DE number 1354138
- Intersection type assignment systems with higher-order algebraic rewriting
- Intersection types and computational effects
- scientific article; zbMATH DE number 1929308
- Intersection types and termination properties
- Applicative intersection types
- Intersection and union types
Cites Work
- A theory of type polymorphism in programming
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The system \({\mathcal F}\) of variable types, fifteen years later
- An extension of basic functionality theory for \(\lambda\)-calculus
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Algebras and combinators
- A filter lambda model and the completeness of type assignment
- The Principal Type-Scheme of an Object in Combinatory Logic
- Complete restrictions of the intersection type discipline
- Functional Characters of Solvable Terms
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- Intensional interpretations of functionals of finite type I
- Polymorphic type inference and containment
- Title not available (Why is that?)
- Lambda‐Calculus Models and Extensionality
- A characterization of F-complete type assignments
- Functionality in Combinatory Logic
- Principal type schemes for an extended type theory
- The completeness theorem for typing lambda-terms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Filter models with polymorphic types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principal Type Schemes for the Strict Type Assignment System
- Title not available (Why is that?)
- Principal Typing in a ∀Λ-Discipline
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (27)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
- Title not available (Why is that?)
- The heart of intersection type assignment: Normalisation proofs revisited
- Essential and relational models
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- Normalization, approximation, and semantics for combinator systems
- Title not available (Why is that?)
- Intersection types for \(\lambda\)-trees
- Inhabitation in Intersection and Union Type Assignment Systems
- Nominal essential intersection types
- Logical equivalence for subtyping object and recursive types
- Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
- Type Inference for Rank 2 Gradual Intersection Types
- Title not available (Why is that?)
- Intersection types for explicit substitutions
- On sets of terms having a given intersection type
- Disjoint intersection types
- Strongly normalising cut-elimination with strict intersection types
- A typed lambda calculus with intersection types
- On strong normalization and type inference in the intersection type discipline
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Types with intersection: An introduction
- Normalization results for typeable rewrite systems
- Semantic types and approximation for Featherweight Java
- Linearity and iterator types for Gödel's system \(\mathcal T\)
- Functional programs as compressed data
- Cut-elimination in the strict intersection type assignment system is strongly normalizing
Uses Software
This page was built for publication: Intersection type assignment systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1350344)
