642 followers Helio Rocha @helioRocha_ #arXiv #cs_LO "Translating Scala Programs to Isabelle/HOL. (arXiv:1607.01539v1 [cs.LO])" https://t.co/IMWt4ONF2p 07 Jul 2016 Reply Repost Favourite