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