Recently added citations

Tom Leinster, ‘Basic Category Theory’, 30 December 2016,

Basic Category Theory

Richard A. Kelsey, ‘A Correspondence Between Continuation Passing Style and Static Single Assignment Form’, SIGPLAN Not. 30, no. 3 (1 March 1995): 13–22,

Notes on: An Introductory Compilers Class

Patrick Cousot, ‘Types as Abstract Interpretations’, in Conference Record of POPL’97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, ed. Peter Lee, Fritz Henglein, and Neil D. Jones (ACM Press, 1997), 316–31,

Notes on: An Introductory Compilers Class

Sönke Ahrens, How to Take Smart Notes: One Simple Technique to Boost Writing, Learning and Thinking for Students, Academics and Nonfiction Book Writers (North Charleston, South Carolina: Createspace Independent Publishing Platform, 2017).

How to take smart notes

Niklas Luhmann, ‘Kommunikation Mit Zettelkästen’, in Öffentliche Meinung Und Sozialer Wandel / Public Opinion and Social Change, ed. Horst Baier, Hans Mathias Kepplinger, and Kurt Reumann (Wiesbaden: VS Verlag für Sozialwissenschaften, 1981), 222–28,

Structuring Notes

Brendan Fong and David I Spivak, ‘Seven Sketches in Compositionality: An Invitation to Applied Category Theory’, 2018,

Seven Sketches