News for hackers. Stuff that matters.

A comment on Show HN: Crafting Interpreters – A handbook for making programming languages. Parent comment

Re:Show HN: Crafting Interpreters – A handbook for making pr... by mafribe on Monday January 16, 2017 @09:57AM (#13410289) 

   Anyone up for writing such a high-quality 
   book as this one on statically-typed languages,
Not a book, but maybe "The Essence of ML Type Inference" by Pottier and Remy [1] is of interest. It's a bit more in-depth than TAPL.

[1] gallium.inria.fr/~fpottier/publis/emlti-final.pdf

[ Parent | on HN ]

There are no comments on this comment yet.