Basic simple type theory

Mentions per year

What Hacker News says

• BellsOnSunday · Apr 26, 2013 · Recommends

  Hindley's Basic Simple Type Theory is accessible and comes from the horse's mouth: http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....

  on ““What part of Milner-Hindley do you not understand?”” ↗
• tombert · Jul 9, 2019 · Recommends

  …You can actually download it legally free here: [2] In regards to type theory, I'd recommend starting by learning Haskell, just to make the terminology a little less scary, then picking up the book "Basic Simple Type Theory" by J Roger Hindley. Don't let the name fool you, it's still pretty heavy stuff; there's no way I would have been able to get through it if I hadn't learned Haskell beforehand. [3] [1] https://www.amazon.com/Programming-Distributed-Computing-Sys...…

  on “Ten Years of Erlang” ↗