The Self programming language, created by David Ungar, used just-in-time compiling VMs and polymorphic inline caches to infer types and optimize machine code, making it faster than Smalltalk.