Polytypic functions over nested datatypes.
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (1999)
- Volume: 3, Issue: 4, page 193-214
- ISSN: 1365-8050
Access Full Article
top
How to cite
topHinze, Ralf. "Polytypic functions over nested datatypes.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 3.4 (1999): 193-214. <http://eudml.org/doc/120585>.
@article{Hinze1999,
author = {Hinze, Ralf},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {functional programming; generic programmimg; nested datatypes; rational trees},
language = {eng},
number = {4},
pages = {193-214},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Polytypic functions over nested datatypes.},
url = {http://eudml.org/doc/120585},
volume = {3},
year = {1999},
}
TY - JOUR
AU - Hinze, Ralf
TI - Polytypic functions over nested datatypes.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 1999
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 3
IS - 4
SP - 193
EP - 214
LA - eng
KW - functional programming; generic programmimg; nested datatypes; rational trees
UR - http://eudml.org/doc/120585
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.