Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston Ales Bizjak Hans Bugge Grathwohl Lars Birkedal

Published in: CoRR (2015)

Keyphrases

real time
programming language
meta level
neural network
knowledge base
complex objects
automated reasoning
reasoning systems
analogical reasoning
knowledge representation
model based diagnosis
development environment
computer programming