Programming assurance cases in Agda.

Makoto Takeyama

Published in: ICFP (2011)

Keyphrases

programming language
neural network
case base
object oriented programming
database
information retrieval
website
high level
probabilistic model