Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A cost-aware logical framework;Proceedings of the ACM on Programming Languages;2022-01-12
2. Model Based Testing with Logical Properties versus State Machines;Implementation and Application of Functional Languages;2012
3. Amortised Resource Analysis with Separation Logic;Logical Methods in Computer Science;2011-06-23
4. Automation for Dependently Typed Functional Programming;Fundamenta Informaticae;2010
5. Testing monadic code with QuickCheck;ACM SIGPLAN Notices;2002-12