Channels
#reading-together
Title
# reading-together
g
guitarvydas
07/31/2023, 12:15 PMIs 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