Author:
Cockx Jesper,Piessens Frank,Devriese Dominique
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A simpler encoding of indexed types;Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development;2021-08-18
2. Failing Faster: Overlapping Patterns for Property-Based Testing;Practical Aspects of Declarative Languages;2016-12-17
3. Overlapping and Order-Independent Patterns;Programming Languages and Systems;2014