Edsger Djikstra
Conal Elliot
Alexander Stepanov details on how knowing mathematics deeply helped in designing the C++ Standard libraries and shares his lessons on it in this book.
Forms the foundation of denotational design
Formal languages describe the grammars of programming languages that are used for parsing.