Conference ProceedingsOPEN ACCESS

Generic programming within dependently typed programming

IFIP Advances in Information and Communication Technology (2003) 115 1-20
DOI: 10.1007/978-0-387-35672-3_1
57Citations
Citations of this article
15Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We show how higher kinded generic programming can be represented faithfully within a dependently typed programming system. This development has been implemented using the OLEG system. The present work can be seen as evidence for our thesis that extensions of type systems can be done by programming within a dependently typed language, using data as codes for types. © 12003 by Springer Science+ Business Media New York.

Cite

CITATION STYLE

APA

Altenkirch, T., & McBride, C. (2003). Generic programming within dependently typed programming. In IFIP Advances in Information and Communication Technology (Vol. 115, pp. 1–20). Springer New York LLC. https://doi.org/10.1007/978-0-387-35672-3_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free