Login / Signup
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming.
Baltasar Trancón y Widemann
Markus Lepper
Published in:
CoRR (2020)
Keyphrases
</>
functional programming
database
database systems
databases
information systems
b tree