Affiliation:
1. Cornell University, USA
2. TU Darmstadt, Germany
3. Massachusetts Institute of Technology, USA
Funder
MURI
European Research Council
Bundesministerium für Bildung und Forschung
National Science Foundation
Office of Naval Research
Quanta
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Casting about in the dark: an empirical study of cast operations in Java programs;Proceedings of the ACM on Programming Languages;2019-10-10
2. COCHIS: Stable and coherent implicits;Journal of Functional Programming;2019
3. Coherent explicit dictionary application for Haskell;ACM SIGPLAN Notices;2018-12-07
4. Coherent explicit dictionary application for Haskell;Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell;2018-09-17
5. Towards safe modular composition of network functions;Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming;2018-04-09