Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing

IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ◽

10.1145/3462172.3462192 ◽

2020 ◽

Author(s):

Sólrún Halla Einarsdóttir ◽

Nicholas Smallbone ◽

Moa Johansson

Download Full-text