了虚拟化概念，还论述了什么是虚拟化技术。1960年，斯特雷奇提出了“一等公民”（First-class citizen），意指函数可作为电脑语言中的第一类公民。1967年把多态定义为两个分支：特设多态（Ad-hoc polymorphism）和通用多态（Universal polymorphism）,成为面向对象编程的基础之一。