Джон Ринолдс

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

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

Еңбектері

Кітаптары

• The Craft of Programming, Prentice Hall International, 1981. ISBN 0-13-188862-5
• Theories of Programming Languages, Cambridge University Press, 1998. ISBN 0-521-59414-6

Басылымдары

• (1974) "Towards a Theory of Type Structure". Colloque sur la Programmation: 408–425. 

Арғы оқылымдар

• Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), "Festschrift for John C. Reynolds's 70th Birthday Мұрағатталған 3 шілденің 2012 жылы.". Theoretical Computer Science, 375(1–3):1–350, 1 мамыр 2007. Editorial, pages 1–2. Үлгі:Doi

Сыртқы сілттемелер

• Home page
• Curriculum Vitae (PostScript format)
• Үлгі:DBLP
• Үлгі:MathGenealogy
• Program Verification and Semantics: Further Work Мұрағатталған 26 қыркүйектің 2007 жылы. (London, 2004)