The frame rule of separation logic
In this week's #blog (or last week's, I don't know, my schedule is shot) I look at the (pre)history of #separationLogic - cool substructural #logic set to work to solve programming problems […]
[Original post on fediscience.org]
0
1
0
0