Links

Here are some interesting links I found on the internet.

• Damas-Hindley-Milner inference two ways
• Write your Own Virtual Machine
• Counterexamples in Type Systems
• How to Design Programs, Second Edition
• Parse, don’t validate
• Functional programming self-affirmations
• Music Theory for the 21st-Century Classroom
• the website of Gwern Branwen (listed here for its design)
• TrunkVer
• Mathematical English (a brief summary)
• The PGP Problem
• Category Theory Illustrated
• jj init
• This Person Does Not Exist