1. Express: applications of dynamically typed Haskell expressions;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
2. Automatic Test Generation for Haskell Programming Assignments;Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education;2020-06-02
3. SmartCheck;ACM SIGPLAN Notices;2015-05-11
4. Advances in Lazy SmallCheck;Implementation and Application of Functional Languages;2013