Джон Ринолдс
Уикипедия — ашық энциклопедиясынан алынған мәлімет
| Джон Ринолдс | |
|---|---|
 |
|
| Докторлық студенттері | 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
Басылымдары [өңдеу]
Арғы оқылымдар [өңдеу]
- Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), "Festschrift for John C. Reynolds's 70th Birthday". Theoretical Computer Science, 375(1–3):1–350, 1 May 2007. Editorial, pages 1–2. Үлгі:Doi
Сыртқы сілттемелер [өңдеу]
- Home page
- Curriculum Vitae (PostScript format)
- Үлгі:DBLP
- Үлгі:MathGenealogy
- Program Verification and Semantics: Further Work (London, 2004)
