Generating Well-Typed Terms that are not "Useless" [pdf]

Comments ( https://news.ycombinator.com/item?id=38034668 )

https://lemonidas.github.io/pdf/NotUseless.pdf 

 Hello