Extensions of Haskell type system – Bc. Matej Kollár
Bc. Matej Kollár
Master's thesis
Extensions of Haskell type system
Extensions of Haskell type system
Anotácia:
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.
Jazyk práce: English
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
- Vedúci: RNDr. Libor Škarvada
- Oponent: Ing. Ondřej Ryšavý
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Theoretical Informatics
Práce na příbuzné téma
-
ANN PostgreSQL extension
Jakub Kupka -
One of a kind, yet similar: The comparison of Death by Terry Pratchett and Neil Gaiman
Zbyněk Koubek -
Kontrastive Stilanalyse eines Sachbuches aus der Psychologie. Dargestellt am Sachbuch "Das Kind in dir muss Heimat finden" von Stefanie Stahl und seiner Übersetzung ins Tschechische
Anna Schajerová -
Raná modální improvizace, komparace nahrávek skladby So What na albech Kind Of Blue a „Four“ & More
Vít Beneš -
Not That Kind of Angel: A Merger of Archetypes in Recent American Popular Narratives
Tereza Walsbergerová -
A Kind Critique: The Depiction of Suburbia in John Cheever's Short Stories
Barbora Vlachová -
Kind Cloud. New way of charitable giving.
Davit Ardbelava -
Kriegskindheit in den Werken "Maikäfer flieg!" von Christine Nöstlinger und "Dieda oder Das fremde Kind" von Renate Welsh
Kateřina Mrkvová