Decoupling Types and Representations of Values for Runtime Optimizations - Petr Krajča; Radomír Škrabal (Annals of computer science and information systems)