Prohlížení Diplomové práce - 18101 dle předmětu "qualified types"

Zobrazují se záznamy 1-1 z 1

    • Implementace staticky typovaného, lazy, funkcionálního jazyka 

      Autor: Jan Sliacký; Vedoucí práce: Culpepper Ryan Michael; Oponent práce: Křikava Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-25)
      Tato práce se věnuje implementaci funkcionálního, staticky typovaného programovacího jazyka inspirovaného jazykem Haskell. Hlavním bodem zájmu práce je implementace typového systému pro tento jazyk. Implementace vychází z ...