@InProceedings{pni:wgp08:biviews,
  author =       {Pablo Nogueira and Juan Jos\'e Moreno-Navarro},
  title =        {Bialgebra Views: {A} Way for Polytypic Programming to
                  Cohabit with Data Abstraction},
  isbn =         {978-1-60558-060-9},
  booktitle =    {Proceedings of the 2nd {ACM} {SIGPLAN} Workshop on Generic
                  Programming ({ICFP-WGP}'08)},
  pages =        {61-73},
  year =         2008,
  address =      {Victoria (BC), Canada},
  month =        {September 20},
  publisher =    {ACM Press},
  editor =       {Ralf Hinze and Don Syme},
  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}
}