Paper Info
Title
Generic Programming within Dependently Typed Programming
Abstract
Abstract We show how higher kinded generic programming can be represented faithfully within a dependently typed programming system. This devel-opment has been implemented using the Oleg system.
Year
DOI
Venue
2002
10.1007/978-0-387-35672-3_1
Generic Programming
Keywords
Field
DocType
dependently typed programming,generic programming,dependent types
Programming language,Functional programming,Computer science,Type theory,Dependent type,Generic programming
Conference
Volume
ISSN
ISBN
115
1571-5736
1-4020-7374-7
Citations 
PageRank 
References 
50
2.40
10
Authors
2
Name
Order
Citations
PageRank
Thorsten Altenkirch166856.85
Conor McBride275247.89