Generic programming in 3D

DOI10.1016/j.scico.2007.10.006zbMath1192.68138MaRDI QIDQ923888

Ralf Hinze, Andres Löh

Publication date: 24 July 2009

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

Full work available at URL: https://doi.org/10.1016/j.scico.2007.10.006

zbMATH Keywords

generic programming; type classes; language design; Haskell 98

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

Related Items

Type-directed weaving of aspects for polymorphically typed functional languages, Formal polytypic programs and proofs, Scala for generic programmers, Libraries for Generic Programming in Haskell

Uses Software

• CLEAN
• Haskell
• Polyp
• RepLib
• PolyLib

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polytypic values possess polykinded types
• Indexed types
• Type-indexed data types
• Flexible type analysis
• Scrap your boilerplate with class
• Fully reflexive intensional type analysis
• “Scrap Your Boilerplate” Reloaded
• “Scrap Your Boilerplate” Revolutions
• Perfect trees and bit-reversal permutations
• FUNCTIONAL PEARL Type-safe cast
• FUNCTIONAL PEARL Parallel Parsing Processes
• Intensional polymorphism in type-erasure semantics
• A system of constructor classes: overloading and implicit higher-order polymorphism
• Derivable Type Classes
• Scrap more boilerplate
• A new approach to generic functional programming
• Generic Programming
• Generic Programming
• Implementation of Functional Languages
• Generics for the masses