|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
10/06/1996 |
|
Data da última atualização: |
25/03/2011 |
|
Autoria: |
MAIA, M. de A.; BIGONHA, R. da S. |
|
Afiliação: |
MARCELO DE ALMEIDA MAIA, UFMG; ROBERTO DA SILVA BIGONHA, UFMG. |
|
Título: |
Implementação de polimorfismo de inclusão em linguagem funcional pura. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
|
Volume: |
v.2 |
|
Páginas: |
p. 863-876. |
|
Idioma: |
Português |
|
Conteúdo: |
As linguagens de programação evoluíram de um mundo, ou sem tipos, ou então monomórfico para alcançar a flexibilidade e confiabilidade dos sistemas de tipos polimórficos. As linguagens de programação funcional pura (ou não) popularizam o polimorfismo paramétrico como forma de incorporar os benefícios dessa filosofia. Nesse trabalho é mostrado o polimorfismo de inclusao, bem conhecido nas linguagens imperativas, como uma disciplina de tipo alternativa para linguagens funcionais puras. Nosso objetivo é mostrar a relevância dessa idéia, assim como descrever o projeto de polimorfismo de inclusão numa linguagem funcional pura e sua respectiva implementação. |
|
Palavras-Chave: |
Linguagem de programação; Linguagem funcional; Linguagem script; Polimorfismo de inclusão. |
|
Thesaurus Nal: |
Computer science. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01415naa a2200217 a 4500
001 1002667
005 2011-03-25
008 1995 bl uuuu u00u1 u #d
100 1 $aMAIA, M. de A.
245 $aImplementação de polimorfismo de inclusão em linguagem funcional pura.
260 $c1995
300 $ap. 863-876. v.2
490 $vv.2
520 $aAs linguagens de programação evoluíram de um mundo, ou sem tipos, ou então monomórfico para alcançar a flexibilidade e confiabilidade dos sistemas de tipos polimórficos. As linguagens de programação funcional pura (ou não) popularizam o polimorfismo paramétrico como forma de incorporar os benefícios dessa filosofia. Nesse trabalho é mostrado o polimorfismo de inclusao, bem conhecido nas linguagens imperativas, como uma disciplina de tipo alternativa para linguagens funcionais puras. Nosso objetivo é mostrar a relevância dessa idéia, assim como descrever o projeto de polimorfismo de inclusão numa linguagem funcional pura e sua respectiva implementação.
650 $aComputer science
653 $aLinguagem de programação
653 $aLinguagem funcional
653 $aLinguagem script
653 $aPolimorfismo de inclusão
700 1 $aBIGONHA, R. da S.
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
