scientific article; zbMATH DE number 1692901

MaRDI QIDQ2763643zbMATH OpenFDO

Authors Martin Sulzmann

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240248

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• HM(X) type inference is CLP(X) solving
• A type inference system based on saturation of subtyping constraints
• Hindley-Milner elaboration in applicative style (functional pearl)
• Type Processing by Constraint Reasoning
• Polymorphic type inference with overloading and subtyping

Cited in

(11)

• Proofs of a set of hybrid let-polymorphic type inference algorithms
• A type inference system based on saturation of subtyping constraints
• scientific article; zbMATH DE number 1629946 (Why is no real title available?)
• Hindley-Milner elaboration in applicative style (functional pearl)
• Type inference using constraint handling rules
• scientific article; zbMATH DE number 3982838 (Why is no real title available?)
• Size-based termination of higher-order rewriting
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• HMF: simple type inference for first-class polymorphism
• An extension of HM(X) with bounded existential and universal data-types
• Type Processing by Constraint Reasoning

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 Q2763643)