Session Types with Arithmetic Refinements and Their Application to Work Analysis.

Ankush Das Frank Pfenning

Published in: CoRR (2020)

Keyphrases

statistical analysis
data analysis
real time
neural network
machine learning
social networks
image processing
decision trees
image sequences
objective function
image analysis
software engineering
quantitative analysis
application specific
data analysis tools