4 ms·
Pierce's Types and Programming Languages ( https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/ ) is great - I'm working throught
by nteon 11y ago
Pierce's Types and Programming Languages ( https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/ ) is great - I'm working throught it now. Its goes through both untyped and statically typed languages. It also goes into how to implement these things in OCaml.
- jnbiche 11y agoYeah, I think I'm going to have a break down and shell out the dough for Types and Programming Languages. It's exactly what I need now.