MinCaml: a simple and efficient compiler for a minimal functional language.

Published in: FDPE@ICFP (2005)

Keyphrases

functional language
programming language
functional programming
database
artificial intelligence
databases
search algorithm
general purpose
distributed environment