HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk).

Published in: WPTE@RTA/TLCA (2014)

Keyphrases

invited talk
database
high level
computational model
mathematical model
formal model
prior knowledge
conceptual model
learning algorithm
information systems
management system
general purpose
online learning
experimental data
functional programming