Domain-Aware Session Types (Extended Version).

Luís Caires Jorge A. Pérez Frank Pfenning Bernardo Toninho

Published in: CoRR (2019)

Keyphrases

domain specific
domain experts
domain independent
databases
data mining
decision making
case study
three dimensional
real time
neural network
real world
computer vision
training data
special case
hidden markov models
general purpose