Programming and Reasoning with Infinite Structures Using Copatterns and Sized Types.

Published in: Software Engineering (Workshops) (2014)

Keyphrases

programming language
database
neural network
decision making
knowledge representation
meta level
topological relations
real time
machine learning
social networks
object oriented
general purpose
multiple types
qualitative reasoning
analogical reasoning