Practical Datatype Specializations with Phantom Types and Recursion Schemes.

Matthew Fluet Riccardo Pucella

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

three dimensional
deductive databases
real world
learning algorithm
multiple types
transitive closure
machine learning
image sequences
multi agent
logic programming
practical problems