Is this a video of the same content? <https://www...
# reading-together
g
Is this a video of the same content? https://www.pldi21.org/prerecorded_hopl.K1.html [I was looking for a non-paywalled PDF of the whole paper, but didn’t find it, yet]
j
Oh wait, sorry that's the same link. Pretty sure it is the same content