References and Further Reading

Books

Groups

Stewart, Ian (1975) Concepts of Modern Mathematics
Stewart, Ian (2003) Galois Theory
Birkhoff, Garrett and Mac Lane, Saunders (1965) A Survey of Modern Algebra

Category Theory

Awodey, Steve (2010) Category Theory
Mac Lane, Saunders (1971) Categories for the Working Mathematician
Pierce, Benjamin C. (1991) Basic Category Theory for Computer Scientists
Riehl, Emily (2016) Category Theory in Context
Leinster, Tom (2014) Basic Category Theory

Stewart, Ian (2008) Taming the Infinite
Feynman, Richard (1985) "Surely You're Joking, Mr. Feynman!": Adventures of a Curious Character

Papers

Eilenberg, Samuel and Mac Lane, Saunders (1945) General Theory of Natural Equivalences
Moggi, Eugenio (1991) Notions of computation and monads
Wadler, Philip (1995) Monads for Functional Programming
Awodey, Steve and Harper, Robert (2015) Homotopy Type Theory: Unified Foundations of Mathematics and Computation
Stroustrup, Bjarne Evolving a language in and for the real world: C++ 1991-2006

Articles

Rogier F. van Vlissingen (1985) Interview Prof. Dr. Edsger W. Dijkstra
Kelly Devine Thomas (2010) The Fundamental Lemma: From Minor Irritant to Central Problem
Colin McLarty (2007) The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics
Graziano Lo Russo (2008) An Interview with A. Stepanov
A History of OCaml

Video

BBC Horizon on Andrew Wiles' proof (1996) Fermat's Last Theorem
IHES interview with Pierre Cartier (2014, in French) Cartier interview

Blogs

Bartosz Milewski (mathematical and programming point of view): Monads for the Curious Programmer
Tai-Danae Bradley (mathematical point of view): Category Theory
Eric Lippert (programming point of view): Fabulous adventures in coding: Monads