Web Application for Construction of Type Derivation Trees – Bc. Martin Škrovina
Bc. Martin Škrovina
Diplomová práce
Web Application for Construction of Type Derivation Trees
Web Application for Construction of Type Derivation Trees
Anotace:Cieľom tejto práce je implementovať interaktívnu webovú aplikáciu pre tvorbu typových derivačných stromov pre lambda kalkul. Vytvorená aplikácia môže byť použitá na kontrolu a odvodzovanie typov výrazov v jednoducho typovanom lambda kalkule a systémoch Hindley–Milner a System F. Aplikácia je vhodná pre vzdelávacie účely na demonštráciu konceptov týchto typových systémov. V práci sa preberajú teoretické základy, implementácia aplikácie v programovacom jazyku Elm a možnosti použitia vytvoreného nástroja. …víceméně
Abstract:The aim of this thesis is to implement an interactive web application for constructing type derivation trees in lambda calculus. The built application can be used for type checking and inferring types of terms in simply typed lambda calculus, Hindley–Milner and System F type systems. The application is suited for educational purposes to demonstrate concepts of these type systems. The thesis discusses the theoretical foundations, the development of the application in the Elm programming language, and the use cases of the created tool. …víceméně
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 21. 5. 2019
Identifikátor: https://is.muni.cz/th/u4h13/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2019
- Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: RNDr. Martin Jonáš
Citační záznam
Citace dle ISO 690:
ŠKROVINA, Martin. \textit{Web Application for Construction of Type Derivation Trees} [online]. Brno, 2019 [cit. 2020-09-20]. Dostupné z: <https://theses.cz/id/uxotky/>. Diplomová práce. Masarykova univerzita, Fakulta informatiky. Vedoucí práce doc. Mgr. Jan Obdržálek, PhD..
Plný text práce
Obsah online archivu závěrečné práceZveřejněno v Theses:
- světu
Jak jinak získat přístup k textuInstituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Masarykova univerzitaFakulta informatiky
Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.