https://personal.cis.strath.ac.uk/conor.mcbride/Pivotal.pdf - discu.eu

Linking pages

Seven Levels of Type Safety in Haskell: Lists · in Code https://blog.jle.im/entry/levels-of-type-safety-haskell-lists.html 8 comments
Jesper Cockx - Formalize all the things (in Agda) https://jesper.sikanda.be/posts/formalize-all-the-things.html 3 comments

Related searches:

Search whole site: site:personal.cis.strath.ac.uk

See how to search.

Submit link to: