Zpět na vyhledávání

Bc. Martin Škrovina

Master's thesis

Web Application for Construction of Type Derivation Trees

Web Application for Construction of Type Derivation Trees
Abstract:
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é …more
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 …more
 

Keywords

lambda calculus type derivation tree Elm System F Hindley-Milner functional programming single-page-application
 
Language used: English
Date on which the thesis was submitted / produced: 21. 5. 2019
Identifier: https://is.muni.cz/th/u4h13/

Thesis defence

  • Date of defence: 20. 6. 2019
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.
  • Reader: RNDr. Martin Jonáš

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.