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

elm, hindley-milner, system f, single-page-application, lambda calculus, functional programming, type derivation tree

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Kadlecaj, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Online Lambda Calculus Evaluator | Theses on a related topic Display description

2.
Kövári, Adam
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Reaktivní platforma federované databáze | Theses on a related topic

3.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Use-mention Distinction in Transparent Intensional Logic | Theses on a related topic

4.
Kůs, Jiří
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology, Sociology
Bachelor's thesis defence: Persuaze a změna postoje | 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.
Pastirčák, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Application of functional programming in the development of enterprise systems | Theses on a related topic

9.
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

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.
Řádková, Hana
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Psychologické faktory ovlivňující úspěšnost inzerce při výběru kandidátů | Theses on a related topic

12.
Ševc, Branislav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro zpracování asynchronních událostí v C++ | Theses on a related topic

13.
Štefková, Júlia
Faculty: Faculty of Social Studies
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Environmental Humanities / Environmental Studies, International Relations
Bachelor's thesis defence: Motivácia k vegánstvu: Aké persuazívne prostriedky sú efektívne v prípade prechodu na vegánsky životný štýl? | Theses on a related topic