scientific article; zbMATH DE number 4013997

MaRDI QIDQ3026314zbMATH OpenFDO

Authors Ian Toyn, Alan Dix, C. Runciman

Publication date 1987

zbMATH Keywords

functional programmingpolymorphic typecheckerre-typecheckingtypechecking algorithm

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 3907754
• Efficient polymorphic calls
• On the performance of parametric polymorphism in Maple
• scientific article; zbMATH DE number 7359806
• Bunched polymorphism
• scientific article; zbMATH DE number 1630109
• scientific article; zbMATH DE number 742721
• scientific article; zbMATH DE number 1999223
• Polymorphic typed defunctionalization
• Polytypic programming with ease

Cited in

(1)

• The calculus of context relations

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