Sign in

Mechanizing Refinement Types (extended).

Michael BorkowskiNiki VazouRanjit Jhala
Published in: CoRR (2022)
Keyphrases
  • data sets
  • information retrieval
  • information systems
  • feature extraction
  • data structure
  • artificial neural networks