Dependent type systems as macros.

Stephen Chang Michael Ballantyne Milo Turner William J. Bowman

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

intelligent systems
complex systems
data mining
distributed systems
multiscale
management system