Login / Signup

A Calculus with Recursive Types, Record Concatenation and Subtyping.

Yaoda ZhouBruno C. d. S. OliveiraAndong Fan
Published in: APLAS (2022)
Keyphrases
  • database
  • neural network
  • learning algorithm
  • multi agent
  • recursive algorithm