Type-Preserving Compilation of Class-Based Languages.

Guillaume Martres

Published in: CoRR (2023)

Keyphrases

expressive power
databases
neural network
information retrieval
genetic algorithm
feature selection
decision trees
class labels
multi class classification
target language
knowledge compilation
regular languages
type checking