Mechanizing Refinement Types (extended).

Michael Borkowski Niki Vazou Ranjit Jhala

Published in: CoRR (2022)

Keyphrases

data sets
information retrieval
information systems
feature extraction
data structure
artificial neural networks