جان سی رینولدز
جان سی رینولدز (اینگیلیسجه: John C. Reynolds) بیلیم اینسان. ۱ ژوئن ۱۹۳۵ تاریخینده دۆنیایا گؤز آچیب. ۷۷ ایل عومر ائله‌ییب و ۲۸ آوریل ۲۰۱۳ میلادی تاریخینده وفات ائدیب.
جان سی رینولدز | |
|---|---|
 | |
| دوغوم | ۱ ژوئن ۱۹۳۵ |
| اؤلوم | ۲۸ آوریل ۲۰۱۳ (۷۷ یاش) |
| تانینماق سببی | continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, polymorphic lambda calculus, relational parametricity, separation logic |
| علمی منسبی | |
| دکتری اؤیرنجیلری | Benjamin C. Pierce |
قایناق‌لار
دَییشدیراینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«John C. Reynolds»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).
