Login / Signup
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