Una vista sobre tipos abstractos y extensibles

Este documento presenta una construcción de declaración de tipo que proporciona un sinónimo de tipo, un tipo de datos, un tipo abstracto con vistas, un subtipo de un tipo existente o un módulo (colección de declaraciones), al estilo de los lenguajes de programación funcionales modernos que proporcio...

Full description

Autores:: Figueiredo, Lucília
Camarão, Carlos

Tipo de recurso:: Trabajo de grado de pregrado

Fecha de publicación:: 2002

Institución:: Universidad Autónoma de Bucaramanga - UNAB

Repositorio:: Repositorio UNAB

Idioma:: spa

id	UNAB2_4a8c1f03b4a48def5a77737aba8ba164
oai_identifier_str	oai:repository.unab.edu.co:20.500.12749/9065
network_acronym_str	UNAB2
network_name_str	Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv	Una vista sobre tipos abstractos y extensibles
dc.title.translated.eng.fl_str_mv	A view on abstract and extensibles types
title	Una vista sobre tipos abstractos y extensibles
spellingShingle	Una vista sobre tipos abstractos y extensibles Innovaciones tecnológicas Ciencia de los computadores Desarrollo de tecnología Ingeniería de sistemas Investigaciones Tecnologías de la información y las comunicaciones TIC´s Technological innovations Computer science Technology development Systems engineering Investigations Information and communication technologies ICT's Language styles Functional schedules Ciencias de la computación Ingeniero de sistemas Investigación Tecnología de la información y comunicación Estilos de lenguaje Programaciones funcionales Innovaciones tecnológicas Desarrollo tecnológico
title_short	Una vista sobre tipos abstractos y extensibles
title_full	Una vista sobre tipos abstractos y extensibles
title_fullStr	Una vista sobre tipos abstractos y extensibles
title_full_unstemmed	Una vista sobre tipos abstractos y extensibles
title_sort	Una vista sobre tipos abstractos y extensibles
dc.creator.fl_str_mv	Figueiredo, Lucília Camarão, Carlos
dc.contributor.author.spa.fl_str_mv	Figueiredo, Lucília Camarão, Carlos
dc.contributor.googlescholar.spa.fl_str_mv	Camarão, Carlos [2LRi77IAAAAJ]
dc.contributor.orcid.spa.fl_str_mv	Camarão, Carlos [0000-0002-4272-9997]
dc.subject.none.fl_str_mv	Innovaciones tecnológicas Ciencia de los computadores Desarrollo de tecnología Ingeniería de sistemas Investigaciones Tecnologías de la información y las comunicaciones TIC´s
topic	Innovaciones tecnológicas Ciencia de los computadores Desarrollo de tecnología Ingeniería de sistemas Investigaciones Tecnologías de la información y las comunicaciones TIC´s Technological innovations Computer science Technology development Systems engineering Investigations Information and communication technologies ICT's Language styles Functional schedules Ciencias de la computación Ingeniero de sistemas Investigación Tecnología de la información y comunicación Estilos de lenguaje Programaciones funcionales Innovaciones tecnológicas Desarrollo tecnológico
dc.subject.keywords.eng.fl_str_mv	Technological innovations Computer science Technology development Systems engineering Investigations Information and communication technologies ICT's Language styles Functional schedules
dc.subject.lemb.spa.fl_str_mv	Ciencias de la computación Ingeniero de sistemas Investigación Tecnología de la información y comunicación
dc.subject.proposal.spa.fl_str_mv	Estilos de lenguaje Programaciones funcionales Innovaciones tecnológicas Desarrollo tecnológico
description	Este documento presenta una construcción de declaración de tipo que proporciona un sinónimo de tipo, un tipo de datos, un tipo abstracto con vistas, un subtipo de un tipo existente o un módulo (colección de declaraciones), al estilo de los lenguajes de programación funcionales modernos que proporcionan soporte para polimorfismo paramétrico.
publishDate	2002
dc.date.issued.none.fl_str_mv	2002-06-01
dc.date.accessioned.none.fl_str_mv	2020-10-27T00:21:31Z
dc.date.available.none.fl_str_mv	2020-10-27T00:21:31Z
dc.type.coar.fl_str_mv	http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv	http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.none.fl_str_mv	info:eu-repo/semantics/article
dc.type.local.spa.fl_str_mv	Artículo
dc.type.coar.none.fl_str_mv	http://purl.org/coar/resource_type/c_7a1f
dc.type.redcol.none.fl_str_mv	http://purl.org/redcol/resource_type/CJournalArticle
format	http://purl.org/coar/resource_type/c_7a1f
dc.identifier.issn.none.fl_str_mv	2539-2115 1657-2831
dc.identifier.uri.none.fl_str_mv	http://hdl.handle.net/20.500.12749/9065
dc.identifier.instname.spa.fl_str_mv	instname:Universidad Autónoma de Bucaramanga UNAB
dc.identifier.repourl.none.fl_str_mv	repourl:https://repository.unab.edu.co
identifier_str_mv	2539-2115 1657-2831 instname:Universidad Autónoma de Bucaramanga UNAB repourl:https://repository.unab.edu.co
url	http://hdl.handle.net/20.500.12749/9065
dc.language.iso.spa.fl_str_mv	spa
language	spa
dc.relation.none.fl_str_mv	https://revistas.unab.edu.co/index.php/rcc/article/view/1106/1078
dc.relation.uri.none.fl_str_mv	https://revistas.unab.edu.co/index.php/rcc/article/view/1106
dc.relation.references.none.fl_str_mv	[1] Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type in-ference. In Proceedings of ACM Functional Programming Languages and Computer Architecture, 1993. [3] Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 1998. 2nd ed. F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171-190, April 1993. [5] Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading without Re-strictions, Declarations or Annotations. Proc. of FLOPS'99, LNCS 1722, pages 37-52, 1999. Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading. Technical report, UFMG, 2001. Submitted for publication. Available at http://www.dcc.ufmg.brrcarnarao/ct-tech-rep.ps. [7] Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cam-bridge University Press, 1998. [8] Pierre-Lous Curien and Giorgio Ghelli. Coherence of subsumption: Minimum typing and type-checking in F<. Mathematical Structures in Computer Science, 2:55-91, 1992. Also in Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, The MIT Press, 1993. [9] You-Chin Full and Prateek Mishra. Type Inference with Subtypes. In 2nd European Symposium on Programming (ESOP'88), pages 94-114, 1988. Springer-Verlag LNCS 300. [10] You-Chin Fuh and Prateek Mishra. Type inference with subtypes. Theoretical Computer Science, 73(2):155-175, 1990. [11] You-Chin Full and Prateek Mishra. Polymorphic Subtype Inference: Closing the Theory-Practice Cap. In Proceedings of TAPSOFT'89, volume 2, pages 167-183, 1997. [12] Pedro P. Costanza, Ricardo Pala, and Manuel Nufiez. A New Look at Patternn Match-ing in Abstract Data Types. ACM SICPLAN International Conference on Flinctioruil Programming, pages 110-121, May 1996. [13] My Hoang and John Mitchell. Lower bounds on type inference with subtypes. Confer-ence Record of POPL'95: the 25th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, pages 176-185, 1995. [14] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, 2000. [15] Cliff B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990. [16] Mark Jones et al. Hugs98. http://www.haskell.org/hugs/, 1998. [18] Simon Marlow and Philip Waller. A practical subtyping system for Erlang. In Pro-ceedings of ICFP'97: the ACM SIGPLAN International Conference on Functional Pro-gramming, pages 136-149, 1997. 20] John Mitchell. Type inference with simple subtypes. Journal of Functional Program-ming, 1(3):245-285, July 1991. [21] Johan Nordlander. Pragmatic Subtyping in Polymorphic Languages. In Proceedings of ICFP'98.- the ACM SIGPLAN International Conference on anctional Programming, 1998. volume 34(1) of ACM SIGPLAN Notices, pages 216-227, June 1999. 22] Johan Nordlander. Polymorphic Subtyping in O'Haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000. [23] Johan Nordlander. Polymorphic subtyping in o'haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000. 24] Chris Okasaki. Views for Standard ML. In Proc. 1998 ACM SIGPLAN Workshop on ML, 1998. [25] Lawrence Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition. [26J Rawls Pottier. A Framework for Type Inference with Subtyping. In Proceedings of ICFP'98: the ACM SICPLAN International Conference on Functional Programming, 1998. volume 34(1) of ACM SICPLAN Notices, pages 228-238, June 1999. [27J Jacob Rehof. Minimal Typings in Atomic Subtyping. Proceedings of POPL'97: the 24th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, 1997. [28J Jakob Rehof. The Complexity of Simple Subtyping Systems. PhD thesis, University of Copenhagen, 1998. [29J Didier Remy and J4r6me Vouillon. Objective ML: An effective object-oriented extension to ML. Theory And Practice of Object Systems, 4(1):27-50, 1998. [30J Dilip Sequeira. Type Inference with Bounded Quantification. PhD thesis, University of Edinburgh, 1998. 31J Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Sub-typing. PhD thesis, Cornell University, 1991. [32J Geoffrey Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197-226, 1994. [33J Simon Thompson. Laws in Miranda. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 1-12, 1986. [34J Simon Thompson. Lawful functions and program verification in Miranda. Science of Computer Programming, 13(2-3):181-218, 1990. [35J Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1999. second edition. [36J Valery Trifonov and Scott Smith. Subtyping Constrained Types. Proc. SAS'96. LAWS 1145, pages 349-365, 1996.
dc.relation.references.spa.fl_str_mv	[2] R. Bailey. Functional Programming with Hope. Ellis Horwood, 1990. 19] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT
dc.rights.none.fl_str_mv	Derechos de autor 2002 Revista Colombiana de Computación
dc.rights.coar.fl_str_mv	http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv	http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.uri.none.fl_str_mv	http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.creativecommons.*.fl_str_mv	Atribución-NoComercial-SinDerivadas 2.5 Colombia
rights_invalid_str_mv	Derechos de autor 2002 Revista Colombiana de Computación http://creativecommons.org/licenses/by-nc-sa/4.0/ http://creativecommons.org/licenses/by-nc-nd/2.5/co/ Atribución-NoComercial-SinDerivadas 2.5 Colombia http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.spa.fl_str_mv	application/pdf
dc.publisher.none.fl_str_mv	Universidad Autónoma de Bucaramanga UNAB
publisher.none.fl_str_mv	Universidad Autónoma de Bucaramanga UNAB
dc.source.none.fl_str_mv	Revista Colombiana de Computación; Vol. 3 Núm. 1 (2002): Revista Colombiana de Computación; 21-40
institution	Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv	https://repository.unab.edu.co/bitstream/20.500.12749/9065/1/2002_Articulo_Una%20vista%20sobre%20tipos%20abstractos%20y%20extensibles.pdf https://repository.unab.edu.co/bitstream/20.500.12749/9065/2/2002_Articulo_Una%20vista%20sobre%20tipos%20abstractos%20y%20extensibles.pdf.jpg
bitstream.checksum.fl_str_mv	366e6c3f749188ac2a6fe120865ce1cf f4d660b7ba70bdf949af4ad2a40e006f
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional \| Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv	repositorio@unab.edu.co
_version_	1814277555462602752
spelling	Figueiredo, Lucíliaea54ad6c-16e3-48de-85d0-0a224b640409-1Camarão, Carlos54c804b6-bda8-43b3-9115-74b9cead3602-1Camarão, Carlos [2LRi77IAAAAJ]Camarão, Carlos [0000-0002-4272-9997]2020-10-27T00:21:31Z2020-10-27T00:21:31Z2002-06-012539-21151657-2831http://hdl.handle.net/20.500.12749/9065instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coEste documento presenta una construcción de declaración de tipo que proporciona un sinónimo de tipo, un tipo de datos, un tipo abstracto con vistas, un subtipo de un tipo existente o un módulo (colección de declaraciones), al estilo de los lenguajes de programación funcionales modernos que proporcionan soporte para polimorfismo paramétrico.This paper presents a type declaration construct which provides either a type synonym, a datatype, an abstract type with views, a subtype of an existing type, or a module (collection of declarations), in the style of modern functional programming languages ahich provide support for parametric polymorphism.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1106/1078https://revistas.unab.edu.co/index.php/rcc/article/view/1106[1] Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type in-ference. In Proceedings of ACM Functional Programming Languages and Computer Architecture, 1993.[3] Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 1998. 2nd ed.F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171-190, April 1993.[5] Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading without Re-strictions, Declarations or Annotations. Proc. of FLOPS'99, LNCS 1722, pages 37-52, 1999.Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading. Technical report, UFMG, 2001. Submitted for publication. Available at http://www.dcc.ufmg.brrcarnarao/ct-tech-rep.ps.[7] Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cam-bridge University Press, 1998.[8] Pierre-Lous Curien and Giorgio Ghelli. Coherence of subsumption: Minimum typing and type-checking in F<. Mathematical Structures in Computer Science, 2:55-91, 1992. Also in Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, The MIT Press, 1993.[9] You-Chin Full and Prateek Mishra. Type Inference with Subtypes. In 2nd European Symposium on Programming (ESOP'88), pages 94-114, 1988. Springer-Verlag LNCS 300.[10] You-Chin Fuh and Prateek Mishra. Type inference with subtypes. Theoretical Computer Science, 73(2):155-175, 1990.[11] You-Chin Full and Prateek Mishra. Polymorphic Subtype Inference: Closing the Theory-Practice Cap. In Proceedings of TAPSOFT'89, volume 2, pages 167-183, 1997.[12] Pedro P. Costanza, Ricardo Pala, and Manuel Nufiez. A New Look at Patternn Match-ing in Abstract Data Types. ACM SICPLAN International Conference on Flinctioruil Programming, pages 110-121, May 1996.[13] My Hoang and John Mitchell. Lower bounds on type inference with subtypes. Confer-ence Record of POPL'95: the 25th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, pages 176-185, 1995.[14] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, 2000.[15] Cliff B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990.[16] Mark Jones et al. Hugs98. http://www.haskell.org/hugs/, 1998.[18] Simon Marlow and Philip Waller. A practical subtyping system for Erlang. In Pro-ceedings of ICFP'97: the ACM SIGPLAN International Conference on Functional Pro-gramming, pages 136-149, 1997.20] John Mitchell. Type inference with simple subtypes. Journal of Functional Program-ming, 1(3):245-285, July 1991.[21] Johan Nordlander. Pragmatic Subtyping in Polymorphic Languages. In Proceedings of ICFP'98.- the ACM SIGPLAN International Conference on anctional Programming, 1998. volume 34(1) of ACM SIGPLAN Notices, pages 216-227, June 1999.22] Johan Nordlander. Polymorphic Subtyping in O'Haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000.[23] Johan Nordlander. Polymorphic subtyping in o'haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000.24] Chris Okasaki. Views for Standard ML. In Proc. 1998 ACM SIGPLAN Workshop on ML, 1998.[25] Lawrence Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition.[26J Rawls Pottier. A Framework for Type Inference with Subtyping. In Proceedings of ICFP'98: the ACM SICPLAN International Conference on Functional Programming, 1998. volume 34(1) of ACM SICPLAN Notices, pages 228-238, June 1999.[27J Jacob Rehof. Minimal Typings in Atomic Subtyping. Proceedings of POPL'97: the 24th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, 1997.[28J Jakob Rehof. The Complexity of Simple Subtyping Systems. PhD thesis, University of Copenhagen, 1998.[29J Didier Remy and J4r6me Vouillon. Objective ML: An effective object-oriented extension to ML. Theory And Practice of Object Systems, 4(1):27-50, 1998.[30J Dilip Sequeira. Type Inference with Bounded Quantification. PhD thesis, University of Edinburgh, 1998.31J Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Sub-typing. PhD thesis, Cornell University, 1991.[32J Geoffrey Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197-226, 1994.[33J Simon Thompson. Laws in Miranda. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 1-12, 1986.[34J Simon Thompson. Lawful functions and program verification in Miranda. Science of Computer Programming, 13(2-3):181-218, 1990.[35J Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1999. second edition.[36J Valery Trifonov and Scott Smith. Subtyping Constrained Types. Proc. SAS'96. LAWS 1145, pages 349-365, 1996.[2] R. Bailey. Functional Programming with Hope. Ellis Horwood, 1990.19] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MITDerechos de autor 2002 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Atribución-NoComercial-SinDerivadas 2.5 Colombiahttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 3 Núm. 1 (2002): Revista Colombiana de Computación; 21-40Innovaciones tecnológicasCiencia de los computadoresDesarrollo de tecnologíaIngeniería de sistemasInvestigacionesTecnologías de la información y las comunicacionesTIC´sTechnological innovationsComputer scienceTechnology developmentSystems engineeringInvestigationsInformation and communication technologiesICT'sLanguage stylesFunctional schedulesCiencias de la computaciónIngeniero de sistemasInvestigaciónTecnología de la información y comunicaciónEstilos de lenguajeProgramaciones funcionalesInnovaciones tecnológicasDesarrollo tecnológicoUna vista sobre tipos abstractos y extensiblesA view on abstract and extensibles typesinfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticlehttp://purl.org/coar/version/c_970fb48d4fbd8a85ORIGINAL2002_Articulo_Una vista sobre tipos abstractos y extensibles.pdf2002_Articulo_Una vista sobre tipos abstractos y extensibles.pdfArtículoapplication/pdf876424https://repository.unab.edu.co/bitstream/20.500.12749/9065/1/2002_Articulo_Una%20vista%20sobre%20tipos%20abstractos%20y%20extensibles.pdf366e6c3f749188ac2a6fe120865ce1cfMD51open accessTHUMBNAIL2002_Articulo_Una vista sobre tipos abstractos y extensibles.pdf.jpg2002_Articulo_Una vista sobre tipos abstractos y extensibles.pdf.jpgIM Thumbnailimage/jpeg9494https://repository.unab.edu.co/bitstream/20.500.12749/9065/2/2002_Articulo_Una%20vista%20sobre%20tipos%20abstractos%20y%20extensibles.pdf.jpgf4d660b7ba70bdf949af4ad2a40e006fMD52open access20.500.12749/9065oai:repository.unab.edu.co:20.500.12749/90652024-04-15 16:28:21.746open accessRepositorio Institucional \| Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Una vista sobre tipos abstractos y extensibles

Publicaciones similares