Polytypic values possess polykinded types

Reference. Polytypic values possess polykinded types

Ralf Hinze · SCP · 2002 · generic-programming · DOI

Cite

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

BibTeX

bibtex · 1 line

@article{hinze-2002-polytypic, title={Polytypic values possess polykinded types}, volume={43}, ISSN={0167-6423}, url={http://dx.doi.org/10.1016/s0167-6423(02)00025-4}, DOI={10.1016/s0167-6423(02)00025-4}, number={2-3}, journal={Science of Computer Programming}, publisher={Elsevier BV}, author={Hinze, Ralf}, year={2002}, month=May, pages={129–159} }

hayagriva YAML (typst)

yaml · 16 lines

hinze-2002-polytypic:
  type: article
  title: Polytypic values possess polykinded types
  author: Hinze, Ralf
  date: 2002-05
  page-range: 129-159
  url: http://dx.doi.org/10.1016/s0167-6423(02)00025-4
  serial-number:
    doi: 10.1016/s0167-6423(02)00025-4
    issn: 0167-6423
  parent:
    type: periodical
    title: Science of Computer Programming
    publisher: Elsevier BV
    issue: 2–3
    volume: 43

Download: hinze-2002-polytypic.bib · hinze-2002-polytypic.yml

Cited by (2)

Algorithmics bird-2021-algorithmicsIFIP Advances in Information and Communication Technology · 2021

DOI

Generics for the masses hinze-2004-genericsICFP · 2004

PDF · DOI · pldb

Cites 34 works (0 here)

External (34)

Polytypic data conversion programs (2002)
Polytypic programming with ease (2001)
Recursive subtyping revealed (2000)
A new approach to generic functional programming (2000)
Polytypic values possess polykinded types (MPC 2000, LNCS 1837) (2000)
Generic programming—an introduction— (1999)
Generalised folds for nested datatypes (1999)
An extensional characterization of lambda-lifting and lambda-dropping (1999)
Polytypic functions over nested datatypes (1999)
Hugs 98 User Manual (1999)
Haskell 98 - A Non-strict, Purely Functional Language (1999)
The Glasgow Haskell Compiler User's Guide, Version 4.04 (1999)
Nested datatypes (1998)
Functorial ML (1998)
PolyLib - a library of polytypic functions (1998)
Purely Functional Data Structures (1998)
When do datatypes commute? (1997)
PolyP—a polytypic programming language extension (1997)
Generic functional programming with types and relations (1996)
Compiling Haskell by program transformation: a report from the trenches (1996)
Foundations for Programming Languages (1996)
Bananas in space (1995)
Merging monads and folds for functional programming (1995)
Monadic maps and folds for arbitrary datatypes (1994)
Type inference with polymorphic recursion (1993)
Analytical and structural polymorphism expressed using patterns over types (1992)
A category-theoretic account of program modules (1991)
Theorems for free! (1989)
The finitary projection model for second order lambda calculus and solutions to higher order domain equations (1986)
Polymorphic type schemes and recursive definitions (1984)
Polymorphic type inference (1983)
An investigation of a programming language with a polymorphic type structure (1979)
A theory of type polymorphism in programming (1978)
Interprétation fonctionelle et élimination des coupures dans l'arithmétique d'ordre supérieur (1972)