programming languages

books

  • an invitation to applied category theory: seven sketches in compositionality - fong + spivak
  • anatomy of programming languages - a book on programming languages, using haskell
  • software foundations - pierce
  • types and programming languages - pierce

esoteric languages