Effect-Driven QuickChecking of Compilers [pdf] - discu.eu

Hacker News

Effect-Driven QuickChecking of Compilers [pdf] http://janmidtgaard.dk/papers/Midtgaard-al%3AICFP17-full.pdf 5 comments 1/7/2017

Linking pages

GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments

Related searches:

Search whole site: site:janmidtgaard.dk

Search title: Effect-Driven QuickChecking of Compilers [pdf]

See how to search.

Submit link to: