Type classes with existential types

DOI10.1017/S0956796800001817MaRDI QIDQ5687911zbMATH OpenFDO

Authors Konstantin Läufer

Publication date 16 December 1996

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 2087535
• scientific article; zbMATH DE number 1629944
• Derivable type classes
• Existential Type Systems with No Types in Terms
• Types in abstract elementary classes
• scientific article; zbMATH DE number 3930968
• scientific article; zbMATH DE number 1342287
• Constructive Type Classes in Isabelle
• scientific article; zbMATH DE number 4189687
• Type Reconstruction for Type Classes

Cites work

• scientific article; zbMATH DE number 3888887 (Why is no real title available?)
• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• An ideal model for recursive polymorphic types

Cited in

(9)

• scientific article; zbMATH DE number 2087535 (Why is no real title available?)
• On the decidability of subtyping with bounded existential types and implementation constraints
• A Framework for Extended Algebraic Data Types
• A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
• A Dictionary-Passing Translation of Featherweight Go
• HasCasl: integrated higher-order specification and program development
• Type classes with more higher-order polymorphism
• Deep embedding with class
• Graph-based communication in Eden

Describes a project that uses

Uses Software

• Ada95
• Modula

This page was built for publication: Type classes with existential types

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