research
∙
05/22/2021
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection
Dependently-typed host languages empower users to verify a wide range of...
research
∙
12/11/2019
Array Languages Make Neural Networks Fast
Modern machine learning frameworks are complex: they are typically organ...
research
∙
10/10/2017