Translating Scala Programs to Isabelle/HOL - System Description.

Lars Hupel, Viktor Kuncak

Browse the full CADE paper archive.