He has made major contributions to the theory of unification and to the development of typed functional programming languages, in particular CAML.
Он внес большой вклад в теорию объединения и развития типизированных функциональных языков программирования, в частности Caml.