Bialgebra views: a way for polytypic programming to cohabit with data abstraction.

Pablo Nogueira, Juan Jos Moreno-Navarro

Browse the full ICFP paper archive.