Epigram: Practical Programming with Dependent Types.

Published in: Advanced Functional Programming (2004)

Keyphrases

programming language
neural network
real world
evolutionary algorithm
general purpose
real time
information retrieval
image processing
website
learning environment
software engineering
practical problems
programming environment