Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Overview of Practical Impacts of Functional Programming;2017 24th Asia-Pacific Software Engineering Conference Workshops (APSECW);2017-12
2. Certificates for Verifiable Forensics;2014 IEEE 27th Computer Security Foundations Symposium;2014-07
3. A compiled implementation of normalisation by evaluation;Journal of Functional Programming;2012-01
4. A Lambda Term Representation Inspired by Linear Ordered Logic;Electronic Proceedings in Theoretical Computer Science;2011-10-31
5. Full Reduction at Full Throttle;Certified Programs and Proofs;2011