Interpretador para uma linguagem baseada no sistema de tipos CT

Bibliographic Details
Main Author: Packer, João Guilherme
Publication Date: 2014
Format: Bachelor thesis
Language: por
Source: Repositório Institucional da Udesc
dARK ID: ark:/33523/00130000010px
Download full: https://repositorio.udesc.br/handle/UDESC/18789
Summary: Este trabalho tem como objetivo a implementação do back-end de um interpretador de uma linguagem funcional com uma sintaxe similar à da linguagem de programação Haskell, e baseada nos sistemas de tipos CT. O sistema CT é uma extensão do sistema de tipos Damas-Milner, adicionando suporte a declarações de funções sobrecarregadas, e é uma alternativa ao sistema de classes de tipos utilizado atualmente na linguagem Haskell. A principal vantagem do sistema CT em comparação com o sistema de classes de tipos é a redução de declarações e de linhas de código no programa
id UDESC-2_d49f785c4379f11ade9cb66c410546c5
oai_identifier_str oai:repositorio.udesc.br:UDESC/18789
network_acronym_str UDESC-2
network_name_str Repositório Institucional da Udesc
repository_id_str 6391
spelling Interpretador para uma linguagem baseada no sistema de tipos CTLinguagem de programação (Computadores)Haskell (Linguagem de programação de computador)Este trabalho tem como objetivo a implementação do back-end de um interpretador de uma linguagem funcional com uma sintaxe similar à da linguagem de programação Haskell, e baseada nos sistemas de tipos CT. O sistema CT é uma extensão do sistema de tipos Damas-Milner, adicionando suporte a declarações de funções sobrecarregadas, e é uma alternativa ao sistema de classes de tipos utilizado atualmente na linguagem Haskell. A principal vantagem do sistema CT em comparação com o sistema de classes de tipos é a redução de declarações e de linhas de código no programaVasconcellos, Cristiano DamianiPacker, João Guilherme2025-01-24T19:36:43Z2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis52 p.application/pdfPACKER, João Guilherme. <b>Interpretador para uma linguagem baseada no sistema de tipos CT</b>. 2025. Monografia (Curso de Ciência da Computação) - Udesc, 2014. Disponível em: https://repositorio.udesc.br/handle/UDESC/18789. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025.https://repositorio.udesc.br/handle/UDESC/18789ark:/33523/00130000010pxAttribution-NonCommercial-ShareAlike 4.0 Brazilhttp://creativecommons.org/licenses/by-nc-sa/4.0/br/info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da Udescinstname:Universidade do Estado de Santa Catarina (UDESC)instacron:UDESC2025-01-25T06:01:58Zoai:repositorio.udesc.br:UDESC/18789Biblioteca Digital de Teses e Dissertaçõeshttps://pergamumweb.udesc.br/biblioteca/index.phpPRIhttps://repositorio-api.udesc.br/server/oai/requestri@udesc.bropendoar:63912025-01-25T06:01:58Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)false
dc.title.none.fl_str_mv Interpretador para uma linguagem baseada no sistema de tipos CT
title Interpretador para uma linguagem baseada no sistema de tipos CT
spellingShingle Interpretador para uma linguagem baseada no sistema de tipos CT
Packer, João Guilherme
Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
title_short Interpretador para uma linguagem baseada no sistema de tipos CT
title_full Interpretador para uma linguagem baseada no sistema de tipos CT
title_fullStr Interpretador para uma linguagem baseada no sistema de tipos CT
title_full_unstemmed Interpretador para uma linguagem baseada no sistema de tipos CT
title_sort Interpretador para uma linguagem baseada no sistema de tipos CT
author Packer, João Guilherme
author_facet Packer, João Guilherme
author_role author
dc.contributor.none.fl_str_mv Vasconcellos, Cristiano Damiani
dc.contributor.author.fl_str_mv Packer, João Guilherme
dc.subject.por.fl_str_mv Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
topic Linguagem de programação (Computadores)
Haskell (Linguagem de programação de computador)
description Este trabalho tem como objetivo a implementação do back-end de um interpretador de uma linguagem funcional com uma sintaxe similar à da linguagem de programação Haskell, e baseada nos sistemas de tipos CT. O sistema CT é uma extensão do sistema de tipos Damas-Milner, adicionando suporte a declarações de funções sobrecarregadas, e é uma alternativa ao sistema de classes de tipos utilizado atualmente na linguagem Haskell. A principal vantagem do sistema CT em comparação com o sistema de classes de tipos é a redução de declarações e de linhas de código no programa
publishDate 2014
dc.date.none.fl_str_mv 2014
2025-01-24T19:36:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv PACKER, João Guilherme. <b>Interpretador para uma linguagem baseada no sistema de tipos CT</b>. 2025. Monografia (Curso de Ciência da Computação) - Udesc, 2014. Disponível em: https://repositorio.udesc.br/handle/UDESC/18789. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025.
https://repositorio.udesc.br/handle/UDESC/18789
dc.identifier.dark.fl_str_mv ark:/33523/00130000010px
identifier_str_mv PACKER, João Guilherme. <b>Interpretador para uma linguagem baseada no sistema de tipos CT</b>. 2025. Monografia (Curso de Ciência da Computação) - Udesc, 2014. Disponível em: https://repositorio.udesc.br/handle/UDESC/18789. Acesso em: insira aqui a data de acesso ao material. Ex: 18 fev. 2025.
ark:/33523/00130000010px
url https://repositorio.udesc.br/handle/UDESC/18789
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-ShareAlike 4.0 Brazil
http://creativecommons.org/licenses/by-nc-sa/4.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-ShareAlike 4.0 Brazil
http://creativecommons.org/licenses/by-nc-sa/4.0/br/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 52 p.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Udesc
instname:Universidade do Estado de Santa Catarina (UDESC)
instacron:UDESC
instname_str Universidade do Estado de Santa Catarina (UDESC)
instacron_str UDESC
institution UDESC
reponame_str Repositório Institucional da Udesc
collection Repositório Institucional da Udesc
repository.name.fl_str_mv Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)
repository.mail.fl_str_mv ri@udesc.br
_version_ 1842258072708317184

Similar Items