Haskell Type System Analysis

dc.contributoren-US
dc.creatorSilva, Rafael Castro G.
dc.creatorRoggia, Karina Girardi
dc.creatorVasconcellos, Cristiano Damiani
dc.date2018-09-12
dc.date.accessioned2018-11-07T21:09:55Z
dc.date.available2018-11-07T21:09:55Z
dc.identifierhttps://seer.ufrgs.br/rita/article/view/VOL25_NR3_75
dc.identifier10.22456/2175-2745.82395
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/2187584
dc.descriptionTypes systems of programming languages are becoming more and more sophisticated and, in some cases, they are based on concepts from Logic, Type Theory and Category Theory. Haskell is a language with a modern type system and it is often singled out as an example using such theories. This work presents a small formalization of the Haskell type system and an analysis based on the mentioned theories, including its relation with the Intuitionist Propositional Second Order Logic and its logical characteristics, if there is a category in its type system and how monads are just monoids in the category of Haskell's endofunctors.en-US
dc.formatapplication/pdf
dc.languageeng
dc.publisherInstituto de Informática - Universidade Federal do Rio Grande do Sulen-US
dc.relationhttps://seer.ufrgs.br/rita/article/view/VOL25_NR3_75/pdf
dc.rightsDireitos autorais 2018 Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellospt-BR
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/4.0pt-BR
dc.sourceRevista de Informática Teórica e Aplicada; v. 25, n. 3 (2018); 75-88en-US
dc.sourceRevista de Informática Teórica e Aplicada; v. 25, n. 3 (2018); 75-88pt-BR
dc.source21752745
dc.source01034308
dc.subjectSistema de tipos, Linguagem de programação; Teoria das Categorias; Lógicaen-US
dc.subjectHaskell; Categorias; Lógica; Tiposen-US
dc.titleHaskell Type System Analysisen-US
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución