Type classes with existential types

DOI10.1017/S0956796800001817zbMath0860.68024MaRDI QIDQ5687911

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)

Related Items (5)

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go ⋮ Deep embedding with class ⋮ Graph-based communication in Eden ⋮ On the decidability of subtyping with bounded existential types and implementation constraints ⋮ HasCasl: integrated higher-order specification and program development

Uses Software

• Modula
• Ada95

Cites Work

• An ideal model for recursive polymorphic types
• Unnamed Item
• Unnamed Item

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