A Leaner Specification for GADTs.

Arie Middelkoop Atze Dijkstra S. Doaitse Swierstra

Published in: Trends in Functional Programming (2008)

Keyphrases

formal specification
formal verification
information retrieval
high level
bayesian networks
expert systems
neural network
data mining
machine learning
search algorithm
digital libraries
conceptual model
specification language
asynchronous circuits