Meno:Tomáą
Priezvisko:Belan
Názov:Type checker for the Yon language
Vedúci:RNDr. Peter Borovanský, PhD.
Rok:2013
Kµúčové slová:programming languages, type system, subtyping, polymorphism
Abstrakt:In this thesis we extend the dynamically typed language Yon with a static type system, allowing checking the program at compilation. The dynamic language semantics are largely kept unchanged. The type system is structural and supports generics, inheritance and limited type inference.

Súbory bakalárskej práce:

belan-final.pdf
yon.tar.gz
yon-v2.tar.gz