• Dynamické tracovaní Haskellu 

      Autor: Ondřej Kvapil; Vedoucí práce: Křikava Filip; Oponent práce: Bragilevsky Vitaly
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)
      Haskell je jeden z nejznámějších jazyků s non-strict sémantikou. Na jednu stranu přináší tato sémantika pohodlí nekonečných datových struktur, řídících konstrukcí definovaných uživatelem a možnost vyhnout se nepotřebným ...
    • Implementace Simple Object Machine v funkcionálním programovacím jazyce 

      Autor: Filip Říha; Vedoucí práce: Křikava Filip; Oponent práce: Sliacký Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)
      Tato práce se zabývá implementaci dialektu programovacího jazyka Smalltak nazývaného Simple Object Machine (SOM), a to v čistě funkcionálním programovacím jazyce Haskell. Práce zkoumá syntaxi a sémantiku SOM programu a ...
    • Návrh šablonovacího jazyka a implementace překladače 

      Autor: Adam Plodek; Vedoucí práce: Plachý Štěpán; Oponent práce: Jirůtka Jakub
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)
      Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními ...