Language Implementation Patterns
Terence Parr
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
The General Theory of Employment, Interest and Money
Keynes, John Maynard
The Mobile Wave
Michael Saylor
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program