Konstantin Läfer
Martin Odersky
ACM Transactions on Programming Languages and Systems
Affordable dynamic types (poster)