Normal-order syntax-rules and proving the fix-point of call/cc

3 comments

• $bjoli 13 hours ago

  When you watch the presentation, the reaction of the audience to the slides is hilarious.

  [-]
  • $nextaccountic 12 hours ago

    Where's the presentation? I can't find a link in the posted page

    [-]
    • $mananaysiempre 11 hours ago

      I think https://www.youtube.com/watch?v=MZBklDFpSAE is it.