Mostrar el registro sencillo del ítem
Una vista sobre tipos abstractos y extensibles
dc.contributor.author | Figueiredo, Lucília | spa |
dc.contributor.author | Camarão, Carlos | spa |
dc.date.accessioned | 2020-10-27T00:21:31Z | |
dc.date.available | 2020-10-27T00:21:31Z | |
dc.date.issued | 2002-06-01 | |
dc.identifier.issn | 2539-2115 | |
dc.identifier.issn | 1657-2831 | |
dc.identifier.uri | http://hdl.handle.net/20.500.12749/9065 | |
dc.description.abstract | 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. | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | spa |
dc.publisher | Universidad Autónoma de Bucaramanga UNAB | |
dc.relation | https://revistas.unab.edu.co/index.php/rcc/article/view/1106/1078 | |
dc.relation.uri | https://revistas.unab.edu.co/index.php/rcc/article/view/1106 | |
dc.rights | Derechos de autor 2002 Revista Colombiana de Computación | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/co/ | |
dc.source | Revista Colombiana de Computación; Vol. 3 Núm. 1 (2002): Revista Colombiana de Computación; 21-40 | |
dc.subject | Innovaciones tecnológicas | |
dc.subject | Ciencia de los computadores | |
dc.subject | Desarrollo de tecnología | |
dc.subject | Ingeniería de sistemas | |
dc.subject | Investigaciones | |
dc.subject | Tecnologías de la información y las comunicaciones | |
dc.subject | TIC´s | |
dc.title | Una vista sobre tipos abstractos y extensibles | spa |
dc.title.translated | A view on abstract and extensibles types | eng |
dc.type.driver | info:eu-repo/semantics/article | |
dc.type.local | Artículo | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | |
dc.subject.keywords | Technological innovations | eng |
dc.subject.keywords | Computer science | eng |
dc.subject.keywords | Technology development | eng |
dc.subject.keywords | Systems engineering | eng |
dc.subject.keywords | Investigations | eng |
dc.subject.keywords | Information and communication technologies | eng |
dc.subject.keywords | ICT's | eng |
dc.subject.keywords | Language styles | eng |
dc.subject.keywords | Functional schedules | eng |
dc.identifier.instname | instname:Universidad Autónoma de Bucaramanga UNAB | spa |
dc.type.hasversion | Info:eu-repo/semantics/publishedVersion | |
dc.type.hasversion | info:eu-repo/semantics/acceptedVersion | |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.relation.references | [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. | |
dc.relation.references | [2] R. Bailey. Functional Programming with Hope. Ellis Horwood, 1990. | spa |
dc.relation.references | [3] Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 1998. 2nd ed. | |
dc.relation.references | F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171-190, April 1993. | |
dc.relation.references | [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. | |
dc.relation.references | 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. | |
dc.relation.references | [7] Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cam-bridge University Press, 1998. | |
dc.relation.references | [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. | |
dc.relation.references | [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. | |
dc.relation.references | [10] You-Chin Fuh and Prateek Mishra. Type inference with subtypes. Theoretical Computer Science, 73(2):155-175, 1990. | |
dc.relation.references | [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. | |
dc.relation.references | [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. | |
dc.relation.references | [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. | |
dc.relation.references | [14] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, 2000. | |
dc.relation.references | [15] Cliff B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990. | |
dc.relation.references | [16] Mark Jones et al. Hugs98. http://www.haskell.org/hugs/, 1998. | |
dc.relation.references | [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. | |
dc.relation.references | 19] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT | spa |
dc.relation.references | 20] John Mitchell. Type inference with simple subtypes. Journal of Functional Program-ming, 1(3):245-285, July 1991. | |
dc.relation.references | [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. | |
dc.relation.references | 22] Johan Nordlander. Polymorphic Subtyping in O'Haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000. | |
dc.relation.references | [23] Johan Nordlander. Polymorphic subtyping in o'haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000. | |
dc.relation.references | 24] Chris Okasaki. Views for Standard ML. In Proc. 1998 ACM SIGPLAN Workshop on ML, 1998. | |
dc.relation.references | [25] Lawrence Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition. | |
dc.relation.references | [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. | |
dc.relation.references | [27J Jacob Rehof. Minimal Typings in Atomic Subtyping. Proceedings of POPL'97: the 24th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, 1997. | |
dc.relation.references | [28J Jakob Rehof. The Complexity of Simple Subtyping Systems. PhD thesis, University of Copenhagen, 1998. | |
dc.relation.references | [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. | |
dc.relation.references | [30J Dilip Sequeira. Type Inference with Bounded Quantification. PhD thesis, University of Edinburgh, 1998. | |
dc.relation.references | 31J Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Sub-typing. PhD thesis, Cornell University, 1991. | |
dc.relation.references | [32J Geoffrey Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197-226, 1994. | |
dc.relation.references | [33J Simon Thompson. Laws in Miranda. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 1-12, 1986. | |
dc.relation.references | [34J Simon Thompson. Lawful functions and program verification in Miranda. Science of Computer Programming, 13(2-3):181-218, 1990. | |
dc.relation.references | [35J Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1999. second edition. | |
dc.relation.references | [36J Valery Trifonov and Scott Smith. Subtyping Constrained Types. Proc. SAS'96. LAWS 1145, pages 349-365, 1996. | |
dc.contributor.googlescholar | Camarão, Carlos [2LRi77IAAAAJ] | spa |
dc.contributor.orcid | Camarão, Carlos [0000-0002-4272-9997] | spa |
dc.subject.lemb | Ciencias de la computación | spa |
dc.subject.lemb | Ingeniero de sistemas | spa |
dc.subject.lemb | Investigación | spa |
dc.subject.lemb | Tecnología de la información y comunicación | spa |
dc.identifier.repourl | repourl:https://repository.unab.edu.co | |
dc.description.abstractenglish | 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. | eng |
dc.subject.proposal | Estilos de lenguaje | spa |
dc.subject.proposal | Programaciones funcionales | spa |
dc.subject.proposal | Innovaciones tecnológicas | spa |
dc.subject.proposal | Desarrollo tecnológico | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/CJournalArticle | |
dc.rights.creativecommons | Atribución-NoComercial-SinDerivadas 2.5 Colombia | * |