جان سی رینولدز

ویکی‌پدیادان، آچیق بیلیک‌لیک‌دن
جان سی رینولدز
دوغوم۱ ژوئن ۱۹۳۵
اؤلوم۲۸ آوریل ۲۰۱۳ میلادی (۷۷ یاش)
تانینماق سببیcontinuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, polymorphic lambda calculus, relational parametricity, separation logic
علمی منسبی
دکتری اؤیرنجیلریBenjamin C. Pierce

جان سی رینولدز (اینگیلیسجه: John C. Reynolds) بیلیم اینسان. ۱ ژوئن ۱۹۳۵ تاریخینده دۆنیایا گؤز آچیب. ۷۷  ایل عومر ائله‌ییب و ۲۸ آوریل ۲۰۱۳ میلادی تاریخینده وفات ائدیب.

قایناق‌لار[دَییشدیر]

اینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«John C. Reynolds»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).

قارداش پروژه‌لرده جان سی رینولدز گؤره داها آرتیق بیلگی‌لر تاپابیلرسینیز.


Search Commons فایل‌لار ویکی‌آمباردا