CSL 2013 "Axiomatizing Subtyped Delimited Continuations"
1 Interface Types & Polymorphism & introduction to graphics programming in Java.