3 ms·

Research Paper https://arxiv.org/pdf/2405.19040 https://arxiv.org/pdf/2405.19040

• robsimmons 2y ago
  ...and if you're in the vanishingly small overlap of folks reading this comment and people interesting in attending an academic talk in Denver next Wednesday, the official conference page for the paper is https://popl25.sigplan.org/details/POPL-2025-popl-research-papers/13/Finite-Choice-Logic-Programming https://popl25.sigplan.org/details/POPL-2025-popl-research-p... (The ArXiV preprint has the exact same content)
  • sitkack 2y ago
    Oh, I'll be on the live streams! https://popl25.sigplan.org/attending/live-streams https://popl25.sigplan.org/attending/live-streams I want to say that the cultural changes inside of the ACM to make historical research open access and to have excellent live streams of the conferences is just so damn wholesome and wonderful. Thank you ACM and the people inside the ACM that made this happen. And in case someone from the ACM is reading this, the live streams are very useful for physical attendees. I was attending Splash! and there were a ton of talks where I would have needed to change rooms, wanted lots of desk space for notes and research. It was somewhat ironic attending half a day from a vacation rental. :)
    • robsimmons 2y ago
      The presentation (a PDF with the slides and the talk transcript) are now linked from https://typesafety.net/rob/blog/fclp-at-popl https://typesafety.net/rob/blog/fclp-at-popl