22 ms·
I honestly can't tell if this is intended to be a joke or not.
by lisper 4y ago
I honestly can't tell if this is intended to be a joke or not.
- gumby 4y agoSee my top level comment on working on this. Also there was a good paper at the 84 POPL by Smith and Desrivieres, though it did feel at the time like few attendees understood it. Perhaps they were put off by the amount of predicate calculus.