A 3-part type inference engine

MaRDI QIDQ2729058zbMATH OpenFDO

Authors François Pottier

Publication date 4 November 2001

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• A versatile constraint-based type inference system
• scientific article; zbMATH DE number 445158
• A type inference system based on saturation of subtyping constraints
• Type inference with subtypes
• A general type inference framework for Hindley/Milner style systems

Cited in

(8)

• Simplifying subtyping constraints: a theory
• Type inference for record concatenation and subtyping
• A versatile constraint-based type inference system
• The MAGICA type inference engine for MATLAB
• Taming the merge operator
• Type inference for first-class messages with feature constraints
• Dynamic inference of static types for Ruby
• A calculus with recursive types, record concatenation and subtyping

This page was built for publication: A 3-part type inference engine

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