آموزش زبان‌های برنامه‌نویسی ↁ - آخرین آپدیت

سرفصل ها و درس ها

titleWeek 1 Week 1

• 1-titleContinuations 1-1 Continuations

• 1-titleContinuation Passing Style 1-2 Continuation Passing Style

• 1-titleSmall Step Operational Semantics 1-3 Small-Step Operational Semantics

• 1-titleFirst Class Continuations 1-4 First-Class Continuations

titleWeek 2 Week 2

• 2-titleFirst Order Representation of Continuations 2-1 First-Order Representation of Continuations

• 2-titleLow Level Representations of Interpreters 2-2 Low-Level Representations of Interpreters

• 2-titleBig Step Semantics of KFAE 2-3 Big-Step Semantics of KFAE

titleWeek 3 Week 3

• 3-titleTypes 3-1 Types

• 3-titleType Rules 3-2 Type Rules

• 3-titleTFAE 3-3 TFAE

• 3-titleTPFAE 3-4 TPFAE

titleWeek 4 Week 4

• 4-titleTRFAE 4-1 TRFAE

• 4-titleTVFAE 4-2 TVFAE

• 4-titleType Checking TVFAE 4-3 Type Checking TVFAE

titleWeek 5 Week 5

• 5-titleType Inference 5-1 Type Inference

• 5-titleType Unification 5-2 Type Unification

• 5-titleType Checking TIFAE 5-3 Type Checking TIFAE

titleWeek 6 Week 6

• 6-titleParametric Polymorphism 6-1 Parametric Polymorphism

• 6-titleSubtype Polymorphism (I) 6-2 Subtype Polymorphism (I)

• 6-titleSubtype Polymorphism (II) 6-3 Subtype Polymorphism (II)

titleFinal Exam Final Exam