Generic Programming within Dependently Typed Programming.

Thorsten Altenkirch Conor McBride

Published in: Generic Programming (2002)

Keyphrases

programming language
programming environment
object oriented programming
information retrieval
artificial intelligence
computer programming
asynchronous communication