Джон Ринолдс
Джон Ринолдс (маусым 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)