Program Synthesis from Polymorphic Refinement Types — mentioned by pseudonom-

Wed, 16 May 2018 19:24:20 GMT

I suspect (based on stuff like https://arxiv.org/abs/1510.08419) that you'd have had more luck with property tests instead of unit tests.

Paper and discussion history. A mention is not an endorsement.

Program Synthesis from Polymorphic Refinement Types · HackerPapers discussions