Programming and reasoning with algebraic effects and dependent types.

Published in: ICFP (2013)

Keyphrases

programming language
knowledge base
knowledge representation
real time
automated reasoning
analogical reasoning
database
data sets
databases
artificial intelligence
bayesian networks
uncertain information
formal models