Slides

  • “Introduction to Proving Stuff™ with Logical Relations”, TypeSig meeting 7-11-2024, Jesse Sigal, PDF

  • “Paella: algebraic effects with parameters and their handlers”, S-REPLS 15, Jesse Sigal (joint with Ohad Kammar, Cristina Matache, Conor McBride), PDF