Login / Signup
A Calculus with Recursive Types, Record Concatenation and Subtyping.
Yaoda Zhou
Bruno C. d. S. Oliveira
Andong Fan
Published in:
APLAS (2022)
Keyphrases
</>
database
neural network
learning algorithm
multi agent
recursive algorithm