Polytypic programming with ease (Extended abstract)

DOI10.1007/10705424_2MaRDI QIDQ2766767zbMATH OpenFDO

Authors Ralf Hinze

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10705424_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polytypic programming with ease
• Polytypic programming in Haskell
• scientific article; zbMATH DE number 1375587
• Type-safe run-time polytypic programming
• Polytypic programming in Maude

Cited in

(14)

• Polytypic programming in Maude
• Polytypic programming with ease
• Distinguishing data structures and functions: the constructor calculus and functorial types
• High-level views on low-level representations
• Type-safe run-time polytypic programming
• scientific article; zbMATH DE number 1375587 (Why is no real title available?)
• scientific article; zbMATH DE number 1497806 (Why is no real title available?)
• TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP
• Generic programming with multiple parameters
• Extensible algebraic datatypes with defaults
• Constructing polymorphic programs with quotient types
• Polytypic programming in Haskell
• Introducing a new form of parametric polymorphism in object oriented programming languages
• Programming Languages and Systems

This page was built for publication: Polytypic programming with ease (Extended abstract)

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