scientific article; zbMATH DE number 1487941

MaRDI QIDQ4495068zbMATHFDO

Authors Bart Demoen, Maria Garcia De La Banda, Peter J. Stuckey

Publication date 6 May 2001

zbMATH Keywords

functional programmingconstraint logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1678396
• Polymorphic type inference and containment
• Polymorphic typed defunctionalization and concretization
• scientific article; zbMATH DE number 176489
• scientific article; zbMATH DE number 742721
• Flexible types, robust type inference for first-class polymorphism
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 1231454
• Parametricity, type equality, and higher-order polymorphism

Cited in

(5)

• Automatic Generation of Test Inputs for Mercury
• Type Processing by Constraint Reasoning
• scientific article; zbMATH DE number 5117546 (Why is no real title available?)
• Type-checking multi-parameter type classes
• Corrigendum: Polymorphic type assignment and CPS conversion

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