جان سی رینولدز
جان سی رینولدز | |
|---|---|
 | |
| نام هنگام تولد | John Charles Reynolds |
| زادهٔ | ۱ ژوئن ۱۹۳۵ ایالات متحده آمریکا |
| درگذشت | ۲۸ آوریل ۲۰۱۳ (۷۷ سال) ایالات متحده آمریکا |
| ملیت | ایالات متحده آمریکا |
| شناخته‌شده برای | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection type, polymorphic lambda calculus، پارامتریسیته، separation logic |
| جوایز | Lovelace Medal (2010) |
| پیشینه علمی | |
| پایان‌نامه | Surface Properties of Nuclear Matter (۱۹۶۱) |
| دانشجویان دکتری | Benjamin C. Pierce |
جان سی رینولدز (انگلیسی: John C. Reynolds; ۱ ژوئن ۱۹۳۵ – ۲۸ آوریل ۲۰۱۳) یک دانشمند رایانه اهل ایالات متحده آمریکا بود.
منابع
[ویرایش]- مشارکت‌کنندگان ویکی‌پدیا. «John C. Reynolds». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۶ مارس ۲۰۱۷.
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
 | این یک مقالهٔ خرد یک دانشمند است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |
ردهها:
- استادان دانشگاه کارنگی ملون
- استادان دانشگاه کوئین مری لندن
- دانشگاهیان کالج سلطنتی لندن
- دانشمندان رایانه اهل ایالات متحده آمریکا
- دانشآموختگان دانشگاه پردو
- دانشآموختگان دانشگاه هاروارد
- درگذشتگان ۲۰۱۳ (میلادی)
- زادگان ۱۹۳۵ (میلادی)
- سردبیران نشریههای دانشگاهی
- کارکنان مایکروسافت
- محققین زبانهای برنامهنویسی
- فلوهای انجمن ماشین‌های حسابگر
- دانشگاهیان دانشگاه ادینبرو