Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction

Cached

Download Links

by Pablo Nogueira , Juan José Moreno-navarro
Citations:1 - 0 self

Active Bibliography

20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
5 Parametric Datatype-Genericity – Jeremy Gibbons, Ross Paterson
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
1 When is an abstract data type a functor? – Pablo Nogueira
10 Scala for generic programmers – Bruno C. D. S. Oliveira, Jeremy Gibbons - 2008
Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
41 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006
25 TypeCase: A Design Pattern for Type-Indexed Functions – Bruno C. d. S. Oliveira , Jeremy Gibbons - 2005
Under consideration for publication in J. Functional Programming 1 Comparing Datatype-Generic Libraries – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira, In Haskell, Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Bruno C. D. S. Oliveira - 924
– Generic programming at Utrecht – – Johan Jeuring, Lambert Meertens, Johan Jeuring, Lambert Meertens - 2009
2 Context-Parametric Polykinded Types – Pablo Nogueira - 2006
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
1 Generating generic functions – Johan Jeuring, Alexey Rodriguez, Gideon Smeding - 2006
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
4 Generics as a Library – Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh - 2006
Chapter 1 Extensible and Modular Generics for the Masses – Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh
A pattern for almost . . . – Björn Bringert, Aarne Ranta - 2008
2 Weaving generic programming and traversal performance – Bryan Chadwick, Karl Lieberherr - 2010