A systematic derivation of the STG machine verified in Coq.

Maciej Piróg Dariusz Biernacki

Published in: Haskell (2010)

Keyphrases

batch processing
flowshop
formal methods
asynchronous circuits
machine learning
genetic algorithm
artificial intelligence
decision trees
probabilistic model