Джон Ринолдс

Уикипедия жобасынан алынған мәлімет
Мұнда ауысу: шарлау, іздеу
Джон Ринолдс

Докторлық студенттері Benjamin C. Pierce
Еңбегі үшін әйгілі continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, parametricity, separation logic, System F

Джон Ринолдс (маусым 1, 1935) Американдық компьютер ғалымы.


Академиялық жұмыстары[өңдеу]

Еңбектері[өңдеу]

Кітаптары[өңдеу]

Басылымдары[өңдеу]

Арғы оқылымдар[өңдеу]

Сыртқы сілттемелер[өңдеу]