Thesis: Signature Inference for Functional Property Discovery See https://github.com/NorfairKing/easyspec. Presenting: $ pdfpc pdfs/presenter-presentation.pdf --notes=right