Decoupling Types and Representations of Values for Runtime Optimizations. - Petr Krajca; Radomir Skrabal (FedCSIS (Position Papers), 2023)