Polytipic recursion patterns

Bibliographic Details
Main Author: Barbosa, L. S.
Publication Date: 2000
Other Authors: Barros, José Bernardo, Almeida, J. J.
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/37984
Summary: Comunicação apresentada em SBLP'00, Proc. 4th Brazilian Symposium on Programming Languages, Recife, May, 2000
id RCAP_9d5b92d0192d33aedead22745649a67b
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/37984
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Polytipic recursion patternsComunicação apresentada em SBLP'00, Proc. 4th Brazilian Symposium on Programming Languages, Recife, May, 2000Recursive schemes over inductive data structures have been recognized as category-theoretic universals, yielding a handful of equational laws for program construction and transformation. This paper introduces the implementation of such recursion patterns as type parametric, or polytypic, functionals in the CAMILA prototyping language. Several examples are discussed.Universidade do MinhoBarbosa, L. S.Barros, José BernardoAlmeida, J. J.20002000-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/37984enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T04:59:24Zoai:repositorium.sdum.uminho.pt:1822/37984Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:04:48.995839Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Polytipic recursion patterns
title Polytipic recursion patterns
spellingShingle Polytipic recursion patterns
Barbosa, L. S.
title_short Polytipic recursion patterns
title_full Polytipic recursion patterns
title_fullStr Polytipic recursion patterns
title_full_unstemmed Polytipic recursion patterns
title_sort Polytipic recursion patterns
author Barbosa, L. S.
author_facet Barbosa, L. S.
Barros, José Bernardo
Almeida, J. J.
author_role author
author2 Barros, José Bernardo
Almeida, J. J.
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Barbosa, L. S.
Barros, José Bernardo
Almeida, J. J.
description Comunicação apresentada em SBLP'00, Proc. 4th Brazilian Symposium on Programming Languages, Recife, May, 2000
publishDate 2000
dc.date.none.fl_str_mv 2000
2000-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/37984
url http://hdl.handle.net/1822/37984
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595085269237760

Similar Items