Generics for the masses

Reference. Generics for the masses

Ralf Hinze · ICFP · 2004 · generic-programming · PDF · DOI · pldb

Cite

Cite as @hinze-2004-generics (helia, typst) · \cite{hinze-2004-generics} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{hinze-2004-generics, series={ICFP04}, title={Generics for the masses}, url={http://dx.doi.org/10.1145/1016850.1016882}, DOI={10.1145/1016850.1016882}, booktitle={Proceedings of the ninth ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Hinze, Ralf}, year={2004}, month=Sept, pages={236–243}, collection={ICFP04} }

hayagriva YAML (typst)

yaml · 12 lines

hinze-2004-generics:
  type: article
  title: Generics for the masses
  author: Hinze, Ralf
  date: 2004-09
  page-range: 236-243
  serial-number:
    doi: 10.1145/1016850.1016882
  parent:
    type: proceedings
    title: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
    publisher: ACM

Download: hinze-2004-generics.bib · hinze-2004-generics.yml

Cited by (1)

Datatype-Generic Programming gibbons-2007-datatypeDatatype-Generic Programming · 2007

DOI

Cites 14 works (1 here)

With notes (1)

Polytypic values possess polykinded types hinze-2002-polytypicSCP · 2002

DOI

External (13)

Type-indexed data types (2004)
Scrap more boilerplate: reflection, zips, and generalised casts (2004)
Fun with phantom types (2003)
Generic Haskell: Applications (2003)
Generic Haskell: Practice and Theory (2003)
Haskell 98 Language and Libraries: The Revised Report (2003)
Scrap your boilerplate: a practical design pattern for generic programming (2003)
A prettier printer (2003)
Higher-order intensional type analysis in type-erasure semantics (2003)
A lightweight implementation of generics and dynamics (2002)
A new approach to generic functional programming (2000)
Generic Programming — An Introduction (1999)
PolyP—a polytypic programming language extension (1997)