isn't system F (with some extensions) exactly this kind of VM? some functional languages (more or less) use (something like it) as the last functional intermediate language for compilation