scientific article; zbMATH DE number 1487941

zbMATH Open0959.68022MaRDI QIDQ4495068FDOQ4495068

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

Publication date: 6 May 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

functional programmingconstraint logic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (5)

• Automatic Generation of Test Inputs for Mercury
• Type-checking multi-parameter type classes
• Title not available (Why is that?)
• Corrigendum: Polymorphic type assignment and CPS conversion
• 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 Q4495068)