Material for workshop "From Java to Scala" on DevFest2013