Bachelor's thesis
Awards: Dean's Award for an Outstanding Final Thesis

Online Lambda Calculus Evaluator

Jakub Kadlecaj, UČO 445344
Abstract

Táto bakalárska práca sa zaoberá návrhom a implementáciou interaktívnej učebnej pomôcky určenej k napomáhaniu pochopenia základných princípov lambda kalkulu – formalizmu ktorý je nielen dôležitý v oblasti teoretickej informatiky, ale aj aplikovateľný v reálnych súčasných výpočetných systémoch. Výsledkom tejto práce je online aplikácia prijímajúca termy λ-kalkulu vložené používateľom, umožňujúca ich …more

Abstract

This thesis deals with the design and the implementation of an interactive learning tool, intended to aid in the understanding of the fundamental principles of lambda calculus—a formalism that is not only important to theoretical computer science, but also has many applications in today’s real-world systems. The product of this work is an online application accepting λ-calculus terms input by a user …more

Keywords
lambda calculus web application functional programming type theory JavaScript logic
Thesis description
Cílem práce je vytvořit systém pro vyhodnocování výrazů lambda kalkulu, který bude mimo jiné sloužit jako výuková pomůcka pro předmět IA014 Advanced Functional Programming. Požadovaná funkcionalita: - webové rozhraní - odvozování po krocích - volba vyhodnocovací strategie - možnost zavedení aliasů pro častěji používané výrazy - podpora netypovaného LC, jednoduše typovaného LC a systému HM - možnost tisku, ukládání a exportu do LaTeXu
Administrative information
The thesis has been checked:
29/5/2018 10:09, doc. Mgr. Jan Obdržálek, PhD., UČO 1552
Full text of thesis
1,1 MB / file PDF
Attachments (1)
Language used
English English
Defence date
28/6/2018
The thesis was defended successfully

Supervisor

doc. Mgr. Jan Obdržálek, PhD., UČO 1552
KTP FI MU

Reader

RNDr. Vladimír Štill, Ph.D., UČO 373979
KTP FI MU

Literature

  • PIERCE, Benjamin C. Types and programming languages. Cambridge, Massachusetts: The MIT Press, 2002, xxi, 623. ISBN 9780262162098.
Cite this text
Masaryk University Faculty of Informatics
Programme
Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents

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