Author:
Christiansen David Raymond
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tools for open, transparent and engaging storytelling;Companion to the first International Conference on the Art, Science and Engineering of Programming;2017-04-03
2. Elaborator reflection: extending Idris in Idris;ACM SIGPLAN Notices;2016-12-05
3. Elaborator reflection: extending Idris in Idris;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
4. Types from data: making structured data first-class citizens in F#;ACM SIGPLAN Notices;2016-08
5. Types from data: making structured data first-class citizens in F#;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02