Literature/type-pattern-match.pdf
2016-01-06 Christian Urban added type inference paper and updated Re.thy
less more (0) tip