Bc. Matej Kollár

Master's thesis

Extensions of Haskell type system

Extensions of Haskell type system
Abstract:
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
 
Language used: English
Date on which the thesis was submitted / produced: 1. 6. 2011
Identifier: https://is.muni.cz/th/toczz/

Thesis defence

  • Date of defence: 28. 6. 2011
  • Supervisor: RNDr. Libor Škarvada
  • Reader: Ing. Ondřej Ryšavý

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