Related
Michael Feathers - The Ergonomics of Type Checking
michaelfeathers.silvrback.com · · Page
CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule
cs.rit.edu · · Page
syllabus to read Types and Programming Language by Pierce
Nostrademons clearly explains the Types of Type Systems
programming.reddit.com · · Page
Haskell Programming Language
Note ·
Why Haskell via Why Haskell is beyond ready for Prime Time Intro talk on Haskell by SPJ Weaknesses of Haskell…
Functional programming
Note ·
(Hughes 1984); link. Getting Func-ey Part 1: Motivation and Types. This also links to bunch of other interesting reads…
A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)
blog.sigfpe.com · · Page