Type inference with partial types

DOI10.1016/0304-3975(94)90056-6MaRDI QIDQ1318726zbMATH OpenOpenAlexFDO

Authors Satish R. Thatte

Publication date 5 April 1994

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

Full work available at URL https://doi.org/10.1016/0304-3975(94)90056-6

zbMATH Keywords

parametric polymorphismtype inferencestatic typingpartial typesdynamic typingheterogeneous data structuressemilattice of subtypes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4058828
• Dynamic typing in polymorphic languages
• scientific article; zbMATH DE number 1256673
• Efficient inference of partial types
• Principal type schemes for gradual programs

Cites work

• scientific article; zbMATH DE number 4180771 (Why is no real title available?)
• scientific article; zbMATH DE number 4180772 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• A theory of type polymorphism in programming
• Dynamic typing: Syntax and proof theory
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The undecidability of the semi-unification problem
• Type inference with subtypes

Cited in

(18)

• ptype: probabilistic type inference
• An Interval-Based Inference of Variant Parametric Types
• scientific article; zbMATH DE number 1953289 (Why is no real title available?)
• Introducing a new form of parametric polymorphism in object oriented programming languages
• Type inference with subtypes
• scientific article; zbMATH DE number 177846 (Why is no real title available?)
• Proofs of a set of hybrid let-polymorphic type inference algorithms
• scientific article; zbMATH DE number 1948390 (Why is no real title available?)
• scientific article; zbMATH DE number 4058828 (Why is no real title available?)
• A framework for type inference with subtyping
• Types for Proofs and Programs
• Types as parameters
• Partial Types and Intervals
• Type Inference for Correspondence Types
• Type inference with non-structural subtyping
• Towards a type-based abstract semantics for Python
• Union and intersection types to support both dynamic and static typing
• Dynamic typing in polymorphic languages

Describes a project that uses

Uses Software

• mini-ML
• ML

This page was built for publication: Type inference with partial types

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