Джон Ринолдс
Навигацияға өту
Іздеуге өту
Джон Ринолдс | |
---|---|
| |
Докторлық студенттері | Benjamin C. Pierce |
Еңбегі үшін әйгілі | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, parametricity, separation logic, System F |
Джон Ринолдс (маусым 1, 1935) Американдық компьютер ғалымы.
Академиялық жұмыстары[өңдеу | қайнарын өңдеу]
Еңбектері[өңдеу | қайнарын өңдеу]
Кітаптары[өңдеу | қайнарын өңдеу]
- 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)