Diplomová práce

Web Application for Construction of Type Derivation Trees

Bc. Martin Škrovina, učo 410461
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é …více

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 …více

Klíčová slova
lambda calculus type derivation tree Elm System F Hindley-Milner functional programming single-page-application
Zadání práce
Cílem práce je vytvořit on-line nástroj, který uživatelům umožní pracovat s typovými derivačními stromy pro lambda kalkul. Nástroj bude mj. sloužit jako výuková pomůcka předmětu IA014. Požadovaná funkcionalita: webové rozhraní; podpora různých typových systémů (simply typed LC, system HM, system F); umožní uživateli interaktivně aplikovat vhodná pravidla; kontrola úplnosti a korektnosti výsledného stromu; export do LaTeXu
Administrativní informace
Práce zkontrolována:
22. 5. 2019 09:04, doc. Mgr. Jan Obdržálek, PhD., učo 1552
Plný text práce
1,1 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 6. 2019
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Oponent

RNDr. Martin Jonáš, Ph.D., učo 359542
KTP FI MU

Literatura

  • PIERCE, Benjamin C. Types and programming languages. Cambridge, Massachusetts: The MIT Press, 2002, xxi, 623. ISBN 9780262162098.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.