NAIL097 Funkcionální programování

Stránka předmětu:Web
Vyučující:RNDr. Vít Šefl, Ph.D.
SIS:Odkaz do SISu

predmet sa vyučuje v angličtine

Zakončení předmětu

Zkouška

Skúška prebieha ústnou formou

  • 2026

    • Untyped lambda calculus

    • Data encoding in lambda calculus

    • Simply typed lambda calculus

    • System F

    • Hindley-Milner type system

    • Algorithm W