POPL Tutorial/Problems
From The Twelf Project
- POPL Tutorial/cps by jcreed
- POPL Tutorial/cps-rp by dklee, based on code by jcreed
- POPL Tutorial/cps-problem by arbob, based on code by jcreed
- POPL Tutorial/CPS_Solutions by arbob, based on code by jcreed
- POPL Tutorial/cps-problem2 by arbob, based on code by jcreed
- POPL Tutorial/CPS_Solution2 by arbob, based on code by jcreed
- POPL_Tutorial/Sequent_vs_Natural_Deduction by cmartens/wlovas
- POPL_Tutorial/Pattern_matching by dklee
- POPL_Tutorial/Control machine by Rob
- POPL Tutorial/Church Rosser (Problem) by Rob, based on code by Karl
- POPL Tutorial/Church Rosser by Rob solution to the above
- POPL_Tutorial/Properties_of_Typing_and_Reduction by Todd.
- POPL_Tutorial/Cost_semantics by Rob and mpa
- POPL_Tutorial/Combinators by Karl
- Bracket abstraction by wlovas (can this be made into a problem?)
- POPL Tutorial/Typed bracket abstraction by wlovas (types make it combinatory logic)
- POPL Tutorial/Typed bracket abstraction with equivalence by wlovas (full beta/eta equivalence)
- POPL Tutorial/Big step, small step by wlovas
- POPL Tutorial/Exceptions-problem by dklee
- POPL Tutorial/Exceptions by dklee, a solution to the above problem.
- POPL Tutorial/Evaluation_Contexts_Intrinsic by drl
- 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
