Proof support for generic type classes.

Ron van Kesteren Marko C. J. D. van Eekelen Maarten de Mol

Published in: Trends in Functional Programming (2004)

Keyphrases

end users
application specific
database
neural network
decision making
multimedia
high level
multi agent
artificial neural networks
knowledge management
multiple types
support systems