2008 | ||
---|---|---|
3 | EE | Pablo Nogueira, Juan José Moreno-Navarro: Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP 2008: 61-73 |
2006 | ||
2 | EE | Pablo Nogueira: Context-parametric polykinded types. ICFP-WGP 2006: 45-54 |
1 | Pablo Nogueira: When is an abstract data type a functor? Trends in Functional Programming 2006: 217-231 |
1 | Juan José Moreno-Navarro | [3] |