4 ms·

Here is a book of case studies of object-capability projects in the 1960s 70s and 80s, including several products from big computer companies: http://homes.cs

Here is a book of case studies of object-capability projects in the 1960s 70s and 80s, including several products from big computer companies: http://homes.cs.washington.edu/~levy/capabook/ http://homes.cs.washington.edu/~levy/capabook/

Jtsummers 9y ago
I didn't know you were on HN. Tangential to the discussion, thanks for your book The Way of Z. That was one of the first books I read in my efforts to understand and formal methods and specifications.