Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction.
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Polytypic programming and data abstraction are important concepts in designing functional programs, but they do not fit well together. Polytypic programming currently depends on making public a free data type representation, while data abstraction depends on hiding the representation. This paper proposes the bialgebra views mechanism as a means of reconciling this conflict. Bialgebra views enable the specification of type structure according to interfaces, not representations, thus combining the genericity of polytypic programming with the information hiding of data abstraction, and narrowing the gap between generic programming in the functional and object-oriented paradigms.
Internacional
Si
Nombre congreso
Workshop on Generic Programming (ICFP-WGP'08)
Tipo de participación
960
Lugar del congreso
Victoria (BC), Canada
Revisores
Si
ISBN o ISSN
978-1-60558-060-9
DOI
Fecha inicio congreso
20/09/2008
Fecha fin congreso
21/09/2008
Desde la página
61
Hasta la página
73
Título de las actas
Proceedings of the 2nd ACM SIGPLAN Workshop on Generic Programming (ICFP-WGP'08)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Pablo Nogueira Iglesias (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)