For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
user
За внесок до практичних і теоретичних основ проектування мов програмування та систем, особливо пов'язаних з абстракцією даних, стійкістю до падінь та розподіленими обчисленнями.
assistant