Why Nostr? What is Njump?
2024-05-19 18:04:31
in reply to

Lindsey Kuper on Nostr: It's been an interesting journey with this paper! We sent it to POPL last summer, ...

It's been an interesting journey with this paper! We sent it to POPL last summer, where it got quite negative reviews, and we realized that the reviewers we got were not at all who we had been expecting. Our paper had been aimed squarely at Dependent Types Enjoyers. Instead, the reviewers were distributed systems verification experts. They weren't impressed by verification of logical clocks that everyone already knew were correct, and they didn't care about happens-before as a dependent type.
Author Public Key
npub1j8ecq8rk6gcn7l9mfq2tj7wv0gseud23r4sa0afgxf83lrxs5nhsg0ncgu