Author:
Crary Karl,Weirich Stephanie
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SoD
2
: Statically Optimizing Dynamic Deep Neural Network Execution;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. A role for dependent types in Haskell;Proceedings of the ACM on Programming Languages;2019-07-26
3. Levity polymorphism;ACM SIGPLAN Notices;2017-09-14
4. Levity polymorphism;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14
5. Typed self-evaluation via intensional type functions;ACM SIGPLAN Notices;2017-05-11