ZÁRYBNICKÝ, Jakub. \textit{Just-in-time kompilace závisle typovaného lambda kalkulu}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2021. Dostupné z: https://theses.cz/id/htaixj/.
ZÁRYBNICKÝ, Jakub. <i>Just-in-time kompilace závisle typovaného lambda kalkulu</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2021. Dostupné z: https://theses.cz/id/htaixj/.
ZÁRYBNICKÝ, Jakub. Just-in-time kompilace závisle typovaného lambda kalkulu. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2021. Dostupné z: https://theses.cz/id/htaixj/.
@MastersThesis{Zarybnicky2021thesis,
AUTHOR = "Zárybnický, Jakub",
TITLE = "Just-in-time kompilace závisle typovaného lambda kalkulu [online]",
YEAR = "2021 [cit. 2024-10-14]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/htaixj/",
}
@MastersThesis{Zarybnicky2021thesis,
AUTHOR = {Zárybnický, Jakub},
TITLE = {Just-in-time kompilace závisle typovaného lambda kalkulu},
YEAR = {2021},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/htaixj/},
URL_DATE = {2024-10-14},
}
{{Citace kvalifikační práce
| příjmení = Zárybnický
| jméno = Jakub
| instituce = Vysoké učení technické v Brně
| titul = Just-in-time kompilace závisle typovaného lambda kalkulu
| url = https://theses.cz/id/htaixj/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2021
| počet stran =
| strany =
| citace = 2024-10-14
| poznámka =
| jazyk =
}}