Login / Signup

A Type-Based Approach to Divide-and-Conquer Recursion in Coq.

Pedro AbreuBenjamin DelawareAlex HubersChrista JenkinsJ. Garrett MorrisAaron Stump
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • neural network
  • programming language
  • real time
  • machine learning
  • recommender systems