Mathematics and programming papers every programmer should read

I'd like to start a thread of papers every programmer should read. The topic is programming, but mathematics is also accepted. Write the author of the paper, its name and DOI. Uploading the PDF or linking it is optional. I'll start with the following I found this week. John Backus Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs 10.1145/359576.359579 https://dl.acm.org/doi/pdf/10.1145/359576.359579 Kenneth E. Iverson Notation as a Tool of Thought 10.1145/358896.358899 https://dl.acm.org/doi/pdf/10.1145/358896.358899 Conal Elliott Compiling to Categories 10.1145/3110271 http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf

Moses Schönfinkel On the building blocks of mathematical logic 10.1007/bf01448013 (in German) http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfinkel%20-%20Ueber%20die%20Bausteine%20der%20mathematischen%20Logik.pdf https://courses.engr.illinois.edu/cs522/sp2016/OnTheBuildingBlocksOfMathematicalLogic.pdf Haskell Curry An Analysis of Logical Substitution https://www.persee.fr/docAsPDF/phlou_0035-3841_1952_num_50_26_4394.pdf Ken Iverson Phrasal Forms 75144.75172 Alexander Farrugia Combinatory Logic: From Philosophy and Mathematics to Computer Science https://www.um.edu.mt/library/oar/bitstream/123456789/38118/1/Alexander%20Farrugia.pdf

I think it would be better to explain why you think others should read this or that paper. Otherwise, this would be just a bunch of links without any reason to why someone should read them.

>>28944 I cannot help you read the abstracts.

>>28956 That tells me what the paper is on, not why one should read it. If it's like that, those two links have all you need to read for a while: https://en.wikipedia.org/wiki/List_of_important_publications_in_computer_science https://en.wikipedia.org/wiki/List_of_important_publications_in_theoretical_computer_science

>>28944 From my point of view I would say OP likes almost anything that's logic and mildly philosophical. But I don't know why. It looks like anything that will bring up something new in programming. >>28958 I guess anything that's not already there then.

Knowing that lainons have taste for high quality, can this be a "put your favorite paper list here" for the good?

Can you recommend me some introductory fluid simulation papers?

What's the point of creating one more math thread? We already have like 4 or 5 already

>>29309 Did you stop reading the thread title at the first word? This is a thread for sharing math/CS papers, it's not about math.

>>29312 which is exactly what can be done in these 4 threads I swear we have invasion of non thinkers lately

>>29319 This thread was made by the board moderator. He is the same person who made the brilliant lisp thread and the thread about machine code. The increase in low effort posts on this board is worrying, but it is unrelated to this thread.

>>29319 I think more than one thread about programming is too much for this board, there's nothing you couldn't have posted in the beginners general.

>>29293 Here's one that I have found useful. I'm a bit of a noob to the field myself. https://my.mech.utah.edu/~brannon/public/review.pdf

>>29320 Despite my arrogance, I started this thread to find the unknown. I'm sorry for lowering the quality of this board. Please notice I am not a moderator of this board, the one you are referring to is not part of this. Probably I'm just emulating, which lowers further this post quality.

>>28942 >On the building blocks of mathematical logic by Moses Schönfinkel Has anyone read this? I think the new Sussman: Software Design for Flexibility mentions logic combinatorics in the first chapters, but I'm not sure how far it takes it. >>28958 I'm surprised Roy Fielding's Thesis on RESTful HTTP "Architectural Styles and the Design of Network-based Software Architectures" is lacking from the wiki page of influential CS papers. https://www.ics.uci.edu/~fielding/pubs/dissertation/fielding_dissertation.pdf Great document for ''Architect Lawyering'' about why a design specification involving HTTP should be changed. William E. Byrd Relational Programming in miniKanren: Techniques, Applications, and Implementations https://www.proquest.com/docview/304903505 MiniKanren a small logic interpreter that is designed to be hosted in many environments, enabling new types of programming based on unification, allowing you to run things backwards and play with the magical conde and conso. Also see The Reasoned Schemer for a more playful introduction. Joe Erlang Making reliable distributed systems in the presence ofsodware errors https://erlang.org/download/armstrong_thesis_2003.pdf (Also not on Wiki?) The famous erlang papers, even if you dont ever program erlang, its an interesting and underserved paradigm, and even if you dont care about erlang at all, do yourself a favor and watch Erlang The Movie https://www.youtube.com/watch?v=BXmOlCy0oBM