Dependent Type Systems as Macros.

Stephen Chang Michael Ballantyne Milo Turner William J. Bowman

Published in: CoRR (2021)

Keyphrases

distributed systems
complex systems
databases
management system
computer systems
learning systems
systems require
database
data sets
information retrieval
image processing
similarity measure