Book Club 9/2023: Papers I Love
Reflecting on the final Strange Loop conference, having attended several 'Papers We Love' talks, I'm motivated to share five papers I love.
Author's Note: this first "Book Club" post is not included in the newsletter; I hadn't yet set up the newsletter.
Last week I attended the final Strange Loop Conference. This conference has been very influential on my career and my academic interests. In fact, this conference began a short time before I started making money in software. Having been able to watch the talks on the YouTubes over the years, I credit it with having a significant impact on how I've approached my career as well as my studies in college, where I got bachelors' in both philosophy and computer science.
However, I had never been to a Strange Loop before! It's bitersweet then that I was able to attend the final one. Perhaps unurprisingly, I attended several presentations sponsored by (or should I say "presented by"? unsure) Papers We Love. In that spirit, I'm going to share five papers here that cut across my philosophical and computer science inclinations that I have very much enjoyed over the years:
- Generalized Parser Combinators - Daniel Spiewak
- Semantic Information and the Correctness Theory of Truth - Luciano Floridi
- Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation - Edwin Brady
- Russell's 1903-1905 Anticiaption of the Lambda Calculus - Kevin C. Klement
- Architectural Styles and the Design of Network-based Software Architectures - Roy Thomas Fielding