Channels
random-encounters
bot-dark-forest
in-atlanta
in-philadelphia
of-ai
in-san-francisco
in-london
in-ontario
in-seattle
in-southern-california
in-alberta
of-functional-programming
wormholes
in-germany
reading-together
of-end-user-programming
in-israel
of-music
present-company
of-logic-programming
share-your-work
devlog-together
introduce-yourself
thinking-together
in-boston
in-new-york
of-graphics
announcements
administrivia
two-minute-week
linking-together
Powered by
#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
https://dl.acm.org/doi/pdf/10.1145/3480947
Oh wait, sorry that's the same link. Pretty sure it is the same content
3 Views
Post