Generic programming with dependent types (2006)
by
Thorsten Altenkirch
,
Conor Mcbride
,
Peter Morris
| Venue: | Spring School on Datatype Generic Programming |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Altenkirch06genericprogramming,
author = {Thorsten Altenkirch and Conor Mcbride and Peter Morris},
title = {Generic programming with dependent types},
booktitle = {Spring School on Datatype Generic Programming},
year = {2006},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In these lecture notes we give an overview of recent research on the relationship
