Zpět na vyhledávání

Bc. Matej Kollár

Diplomová práce

Extensions of Haskell type system

Extensions of Haskell type system
Anotace:
Cieľom práce je poskytnúť odlišný a zjednocujúci pohľad na typový Haskellu a jeho rozšírenia. Je načrtnutý formálny systém, v rámci ktorého je popísaných niekoľko rozšírení. Taktiež je preskúmaná súvislosť medzi typovými triedami a kindmi.
Abstract:
The aim of the master's thesis is to offer a different and unifying look at Haskell type system and its extensions. We present a formal outline of the system. Several extensions are systematically described within this outline. An interesting connection between type classes and kinds is brought to light.
 

Keywords

Haskell type system type extension type kind subkinding
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 1. 6. 2011
Identifikátor: https://is.muni.cz/th/toczz/

Obhajoba závěrečné práce

  • Obhajoba proběhla 28. 6. 2011
  • Vedoucí: RNDr. Libor Škarvada
  • Oponent: Ing. Ondřej Ryšavý

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce