Práce na příbuzné téma (mají shodná klíčová slova):

expression evaluation, template haskell, lazy evaluation, haskell, ghci

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma Zobrazit popisek

2.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vyhodnocování úloh z funkcionálního programování v IS | Práce na příbuzné téma

3.
Kollár, Matej
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Extensions of Haskell type system | Práce na příbuzné téma

4.
Kučera, Pavel
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Improving Milena, a Kafka client for Haskell | Práce na příbuzné téma

5.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Syntactic analysis and type evaluation in Haskell | Práce na příbuzné téma

6.
Mises, Pavel roz. Dvořák
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Web applications in Haskell | Práce na příbuzné téma

7.
Novák, Stanislav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Haskell Hero -- interaktivní učebnice funkcionálního programování | Práce na příbuzné téma

8.
Pilař, Petr
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: In-memory dictionaries with multidimensional keys in Haskell | Práce na příbuzné téma

9.
Plch, Josef
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Morfologický analyzátor založený na pravidlech | Práce na příbuzné téma

10.
Rýdzi, Oliver
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Functional Programming in Javascript | Práce na příbuzné téma

11.
Rychlý, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Game development in Haskell | Práce na příbuzné téma

12.
Ryzí, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Haskell Web Application for Generating Dobble Decks | Práce na příbuzné téma

13.
Schwarzová, Tereza
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Efficient Abstraction Refinement for BDD-based SMT Solvers | Práce na příbuzné téma

14.
Šiška, Adam
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Interpretace DVE modelů v Haskellu | Práce na příbuzné téma