Type inference with simple subtypes
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 599028 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A filter lambda model and the completeness of type assignment
- A semantics of multiple inheritance
- An ideal model for recursive polymorphic types
- Curry's type-rules are complete with respect to the F-semantics too
- Data Types as Lattices
- On the semantics of polymorphism
- On the sequential nature of unification
- Polymorphic type inference and containment
- The Category-Theoretic Solution of Recursive Domain Equations
- The Principal Type-Scheme of an Object in Combinatory Logic
- The completeness theorem for typing lambda-terms
- The lambda calculus. Its syntax and semantics. Rev. ed.
- What is a model of the lambda calculus?
Cited in
(14)- Type reconstruction with recursive types and atomic subtyping
- Strong normalization for non-structural subtyping via saturated sets
- Constraints for polymorphic behaviours of concurrent ML
- Non-structural subtype entailment in automata theory
- A tier-based typed programming language characterizing feasible functionals
- A descriptive type foundation for RDF Schema
- Transitivity in coercive subtyping
- Strong normalization from weak normalization in typed \(\lambda\)-calculi
- Reduction and unification in lambda calculi with a general notion of subtype
- Type inference with non-structural subtyping
- Subtyping constrained types
- Strong normalization with non-structural subtyping
- Some complexity bounds for subtype inequalities
- Encoding natural semantics in Coq
This page was built for publication: Type inference with simple subtypes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4939703)
