POPL Tutorial/Problems

From The Twelf Project
Jump to: navigation, search
  • CPS variations (Dklee and arbob are working on this for wednesday)
  • Stack machine vs. SOS vs. evaluation (Will and Chris are working on this for Weds)
  • Authorization logic
  • ML5