Memorias de investigación
Communications at congresses:
Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction.
Year:2008

Research Areas
  • Programming language

Information
Abstract
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.
International
Si
Congress
Workshop on Generic Programming (ICFP-WGP'08)
960
Place
Victoria (BC), Canada
Reviewers
Si
ISBN/ISSN
978-1-60558-060-9
Start Date
20/09/2008
End Date
21/09/2008
From page
61
To page
73
Proceedings of the 2nd ACM SIGPLAN Workshop on Generic Programming (ICFP-WGP'08)
Participants

Research Group, Departaments and Institutes related
  • 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