Eta-Equivalence in Core Dependent Haskell.

Anastasiya Kravchuk-Kirilyuk Antoine Voizard Stephanie Weirich

Published in: TYPES (2019)

Keyphrases

programming language
functional programming
database
data sets
machine learning
plagiarism detection
real time
neural network
data mining
artificial intelligence
search engine
decision trees
multiscale
multiresolution