https://futureofcoding.org/ logo
#reading-together
Title
# reading-together
g

guitarvydas

07/31/2023, 12:15 PM
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

Jimmy Miller

07/31/2023, 5:13 PM
Oh wait, sorry that's the same link. Pretty sure it is the same content
3 Views