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
- emojicode - world's only programming language that's bursting with emojis
- free - an esoteric programming language with an unusual compiler backend
- nim
- weird world of cryptographic programming languages