2 classics that don't require a whole lot of backgrond are: - An Axiomatic Basis for Computer Programming by C. A. R. Hoare - The Next 700 Programming Languag

2 classics that don't require a whole lot of backgrond are: - An Axiomatic Basis for Computer Programming by C. A. R. Hoare - The Next 700 Programming Languages by P. J. Landin The most recent paper I've read is: - Storage strategies for collections in dynamically typed languages - Bolz, Diekmann, Tratt I blog about some papers I've read on my blog [0], and these three papers I've mentioned have their own post, where I summarize key ideas of the papers. Take a look if you're interested. [0] https://blog.ngzhian.com/ https://blog.ngzhian.com/