Polytypic values possess polykinded types

DOI10.1016/S0167-6423(02)00025-4zbMATH Open1016.68021MaRDI QIDQ700974FDOQ700974

Authors: Ralf Hinze 

Publication date: 16 October 2002

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

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

zbMATH Keywords

Haskell types

Mathematics Subject Classification ID

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

Cited In (10)

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

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)