A Formal Comparison of Approaches to Datatype-Generic Programming

Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed over the years, most of them for Haskell, but recently also for dependently typed languages such as Agda. Diffe...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	José Pedro Magalhães, Löh, Andres
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 14.02.2012
Subjects:	Programming
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!