search

Little-Languages / reading-club

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
MIT License
45 stars 3 forks source link

"Sequential Processes" by C.A.R. Hoare #5

Open ChrisShank opened 6 months ago

ChrisShank commented 6 months ago

https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf