He designed several influential programming languages such as Euclid.
他也參與了數個程式語言的設計，如Euclid。