Free theorems from univalent reference types.

Jonathan Sterling Daniel Gratzer Lars Birkedal

Published in: CoRR (2023)

Keyphrases

machine learning
website
data sets
decision trees
database systems
training data
data analysis