Programming up to Congruence.

Vilhelm Sjöberg Stephanie Weirich

Published in: POPL (2015)

Keyphrases

programming language
databases
information systems
image segmentation
hidden markov models
development environment
asynchronous communication
high level language