Polytypic values possess polykinded types

DOI10.1016/S0167-6423(02)00025-4zbMath1016.68021MaRDI QIDQ700974

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)

Related Items (6)

Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Parametricity, type equality, and higher-order polymorphism ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism ⋮ Datatype-generic termination proofs

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