علوم الحاسوب

رياضيات, علوم الحاسوب, نظرية الفئات, هياكل جبرية

البروفنكتور (Profunctor)

أنظمة النوع, علوم الحاسوب, لغات البرمجة, نظرية الأنواع

النوع الرئيسي (Principal Type)

التحقق الآلي, الذكاء الاصطناعي, الرياضيات, علوم الحاسوب

روبرت س. بوير (Robert S. Boyer)

أنظمة تشغيل, جدولة العمليات, خوارزميات, علوم الحاسوب

جدولة القرعة (Lottery Scheduling)

برمجة, تطوير البرمجيات, علوم الحاسوب, مفاهيم أساسية

تصادم الأسماء (Naming Collision)

أنماط التصميم, برمجة, علوم الحاسوب, هندسة البرمجيات

حلقة الأحداث (Event Loop)