Login / Signup
Monotone recursive types and recursive data representations in Cedille.
Christopher Jenkins
Aaron Stump
Published in:
CoRR (2020)
Keyphrases
</>
data representations
databases
data structure