Recently added citations

Richard A. Kelsey, “A Correspondence Between Continuation Passing Style and Static Single Assignment Form,” SIGPLAN Not. 30, no. 3 (March 1, 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