Recently added citations

Tom Leinster, ‘Basic Category Theory’, 30 December 2016, http://arxiv.org/abs/1612.09375v1.

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, https://doi.org/10.1145/202530.202532.

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, https://doi.org/10.1145/263699.263744.

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, https://doi.org/10.1007/978-3-322-87749-9_19.

Structuring Notes

Brendan Fong and David I Spivak, ‘Seven Sketches in Compositionality: An Invitation to Applied Category Theory’, 2018, https://arxiv.org/abs/1803.05316.

Seven Sketches