By Suad Alagic, Mark Royer
October 28, 2005 Abstract: This paper is addressing three major and quite controversial issues critical for the next generation of virtual platforms for object-oriented languages. The first one is providing explicit support for parametric types in the virtual machine. The second is that object-oriented languages (of the next generation) equipped with assertions and running on virtual platforms require proper support for parametric types equipped with assertions (constraints). The third is an argumentation for much more sophisticated orthogonal persistent capabilities.