"Why functional programming matters" by John Hughes was recommended reading in my first year undergraduate program in Gothenburg.

https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.p...

It's more of a "position paper" than a "research paper", I suppose, so there's no theorems or proofs or anything.