A type-preserving compiler in Haskell.

Louis-Julien Guillemette Stefan Monnier

Published in: ICFP (2008)

Keyphrases

programming language
databases
functional programming
real time
neural network
learning algorithm
search engine
database systems
artificial neural networks