3 ms·
The idea of sharing structural properties/invariants between abstractions is something that is in my mind often, and reading the book intro resonates with me.
by agumonkey 3y ago
The idea of sharing structural properties/invariants between abstractions is something that is in my mind often, and reading the book intro resonates with me.