Джон Ринолдс | |
---|---|
| |
Докторлық студенттері | Benjamin C. Pierce |
Еңбегі үшін әйгілі | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, parametricity, separation logic, System F |
Джон Ринолдс (маусым 1, 1935) Американдық компьютер ғалымы.