Generic Programming with Dependent Types.

Thorsten Altenkirch Conor McBride Peter Morris

Published in: SSDGP (2006)

Keyphrases

real time
genetic algorithm
social networks
high level
probabilistic model
programming language
open source
development environment
multiple types
completely independent