Polytypic values possess polykinded types

DOI10.1016/S0167-6423(02)00025-4MaRDI QIDQ700974zbMATHFDO

Authors Ralf Hinze

Publication date 16 October 2002

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

Haskell types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1612483
• Polymorphic typed defunctionalization
• Inhabitation of polymorphic and existential types
• scientific article; zbMATH DE number 773983
• scientific article; zbMATH DE number 1375587
• scientific article; zbMATH DE number 952495
• Polymorphic typed defunctionalization and concretization
• Polymorphic type inference and containment
• Expressing polymorphic types in a many-sorted language
• Polymorphic type inference with overloading and subtyping

Cited in

(10)

• scientific article; zbMATH DE number 1612483 (Why is no real title available?)
• scientific article; zbMATH DE number 773983 (Why is no real title available?)
• Generic programming in 3D
• Type-based termination of generic programs
• Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
• Type-indexed data types
• System \(F^\mu_\omega\) with context-free session types
• Iteration and coiteration schemes for higher-order and nested datatypes
• Parametricity, type equality, and higher-order polymorphism
• Datatype-generic termination proofs

This page was built for publication: Polytypic values possess polykinded types

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