Author:
Fowler Jonathan,Hutton Graham
Publisher
Springer International Publishing
Reference19 articles.
1. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM 47(4), 776–822 (2000)
2. Lecture Notes in Computer Science;J Christiansen,2008
3. Lecture Notes in Computer Science;K Claessen,2014
4. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming (2000)
5. Cockx, J.: Overlapping and Order-Independent Patterns in Type Theory. Ph.D. thesis, Master thesis, KU Leuven (2013)