4 ms·
This sounds really great - could you recommend/link some specific ones? Thanks in advance!
by cloogshicer 4y ago
This sounds really great - could you recommend/link some specific ones? Thanks in advance!
- tkhattra 4y ago[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-types http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...
- cloogshicer 4y agoSo 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 https://lamport.azurewebsites.net/pubs/pubs.html