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