Towards generic programming in Type Theory. Talk at the workshop TYPES 2002, Berg en Dal (2002)

by Marcin Benke
Results 1 - 1 of 1

Generic programming within dependently typed programming

by Thorsten Altenkirch, Conor Mcbride - In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl , 2003
"... 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 prog ..."
Abstract - Cited by 45 (7 self) - Add to MetaCart
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. 1.