Informační systém Masarykovy univerzity 

Archiv závěrečné práce Matej Kollár FI N-IN TEI

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

magisterský studijní program/obor:
Informatika/Teoretická informatika

Mgr. Matej Kollár

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.

Haskell, type system, type extension, type, kind, subkinding

Zadání: Analyze the capabilities of the basic type system of functional language Haskell. List and systematize its various extensions. Examine whether selected extensions alter the typability of terms or the decidability of type inference or type checking. Design your own extension or modify an existing one, if it appears useful from the point of view of simplicity, regularity, or unifying approach to different aspects of the type system.

Jazyk práce: angličtina

  • Zadáno/změněno 28. 6. 2011 17:29, Helena Kryštofová
  • Záznam založen 21. 4. 2011 13:08, Miroslava Tomíčková
  • Zveřejnit od 1. 6. 2011 13:19, Miroslava Tomíčková
  • Práce převzata 1. 6. 2011 13:19, Miroslava Tomíčková

Obhajoba diplomové práce

  • Proběhla 28. 6. 2011, práce byla úspěšně obhájena.

Vedoucí:

  • RNDr. Libor Škarvada, KTP FI MU

Oponent:

Plný text práce

Literatura:

  • PIERCE, Benjamin C. Types and programming languages. Cambridge, Mass.: MIT Press, 2002. xxi, 623 s. ISBN 0-262-16209-1.

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX

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

Práce zkontrolována: 3. 6. 2011 10:27, RNDr. Libor Škarvada


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Matej Kollár FI N-IN TEI /fi_m/Kollár, M.30.  5. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace anglicky annotation_english.txtKollár, M.30.  5. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace česky annotation.txtKollár, M.30.  5. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Klíčová slova keywords.txtKollár, M.30.  5. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. mgr-thesis.pdf mgr-thesis-opt.pdfKollár, M.30.  5. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. Posudek oponenta kollar_dp.pdfDvořáčková, H.21.  6. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.Posudek_vedouciho posudek-vedouciho.pdfŠkarvada, L.22.  6. 2011
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 5. 2012 15:23, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému