Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic Display description

2.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vyhodnocování úloh z funkcionálního programování v IS | Theses on a related topic

3.
Kollár, Matej
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Extensions of Haskell type system | Theses on a related topic

4.
Kučera, Pavel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improving Milena, a Kafka client for Haskell | Theses on a related topic

5.
Mises, Pavel maiden name: Dvořák
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Syntactic analysis and type evaluation in Haskell | Theses on a related topic

6.
Mises, Pavel maiden name: Dvořák
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Web applications in Haskell | Theses on a related topic

7.
Novák, Stanislav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Haskell Hero -- interaktivní učebnice funkcionálního programování | Theses on a related topic

8.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: In-memory dictionaries with multidimensional keys in Haskell | Theses on a related topic

9.
Plch, Josef
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Morfologický analyzátor založený na pravidlech | Theses on a related topic

10.
Rýdzi, Oliver
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Functional Programming in Javascript | Theses on a related topic

11.
Rychlý, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Game development in Haskell | Theses on a related topic

12.
Ryzí, Jan
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Haskell Web Application for Generating Dobble Decks | Theses on a related topic

13.
Schwarzová, Tereza
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Efficient Abstraction Refinement for BDD-based SMT Solvers | Theses on a related topic

14.
Šiška, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic