Intrinsically typed compilation with nameless labels.

Arjen Rouvoet Robbert Krebbers Eelco Visser

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

Keyphrases

higher order
pairwise
training examples
multi label
lambda calculus
training data
class labels
relational databases
information systems
genetic algorithm
image labeling
database
multiscale
data structure
expert systems
training set
clustering algorithm
ground truth
knowledge base
text classification