Programming with monadic CSP-style processes in dependent type theory.

Bashar Igried Anton Setzer

Published in: TyDe@ICFP (2016)

Keyphrases

constraint satisfaction problems
programming language
computational model
deductive databases
constraint satisfaction
computational models
human problem solving
data model
search space
theoretical framework
datalog queries