Dependently-typed data plane programming.

Matthias Eichholz Eric Hayden Campbell Matthias Krebs Nate Foster Mira Mezini

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

data sets
synthetic data
data collection
database
data processing
high quality
data structure
raw data
training data
data sources
higher order
input data
website
computer systems
statistical analysis
data distribution
data objects
data mining techniques
data points
database systems