Hacker News Reader

What gave me the most perspective on programming language design was reading Leslie Lamport's papers on TLA+. His views on the necessary differences between a P.L. and a specification language gave me a clearer idea what programming languages really are. If I recall, Lamport has several papers on TLA+ for mere mortals that are very easy to read.

View on HN

This sounds really great - could you recommend/link some specific ones? Thanks in advance!

So a bit of digging brought up this [1], which seems to be a list of all relevant papers.

It's annotated with short summaries and historical background by Leslie Lamport himself. Seems like a great starting point!

Still, I'd love to hear some specific recommendations for the topic you mentioned, it sounds super interesting.

[1] https://lamport.azurewebsites.net/pubs/pubs.html

[1] is a particular one regarding specification languages and types. its background description about a "rabidly pro-types" referee is quite interesting...

[1] http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...

Reply on news.ycombinator.com