ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Prolog"
Prolog
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Vít Šefl
Akademický pracovník na Matematicko-fyzikální fakulta
2 předměty
4 publikace
Předměty
class
Metodika programování a filozofie programovacích jazyků
NPRG003 |
Matematicko-fyzikální fakulta
class
Funkcionální programování
NAIL097 |
Matematicko-fyzikální fakulta
Publikace
publication
Additive Types in Quantitative Type Theory
2022 |
Matematicko-fyzikální fakulta
publication
Translating Lambda Calculus into C++ Templates
2021 |
Matematicko-fyzikální fakulta
publication
Performance Analysis of Zippers
2020 |
Matematicko-fyzikální fakulta
publication
Lambda Calculus as a Tool for Metaprogramming in C++
2018 |
Matematicko-fyzikální fakulta
Loading network view...