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

Documents Related by Co-Citation

6 Lawful functions and program verification – S Thompson - 1990
12 A critique of Abelson and Sussman: Why calculating is better than scheming – P Wadler - 1987
28 Pattern matching with abstract data types – F W Burton, R D Cameron - 1993
15 A new look at pattern matching in abstract data types – P Palao Gostanza, R Peña, M Núñez - 1996
7 Pattern Guards and Transformational Patterns – Martin Erwig, Simon Peyton Jones - 2000
12 Active Patterns – Martin Erwig - 1996
4 efficient, generalised folds for nested datatypes – Disciplined
4 View patterns: lightweight views for Haskell, 2007. Haskell Café mailing list – D Licata, S Peyton Jones
19 Program Calculation Properties of Continuous Algebras – Maarten M Fokkinga, Erik Meijer - 1991
8 There and back again: arrows for invertible programming – Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer - 2006
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
9 An Injective Language for Reversible Computation – Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi - 2004
13 Program Development in Java: Abstraction, Specification, and Object-Oriented Design – Barbara Liskov, John Guttag - 2000
7 The NetherlandsOptimizing Generics Is Easy! – José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh, José Pedro, Magalhães Stefan, Holdermans Johan Jeuring, Andres Löh - 2009
3 Organizing functional code for parallel execution; or, foldl and foldr considered slightly harmful – G Steele - 2009
8 Optimizing Generic Functions – Artem Alimarine, Sjaak Smetsers - 2004
42 A calculus of functions for program derivation – Richard S Bird - 1990
64 A Pattern Matching Compiler for Multiple Target Languages – Pierre-etienne Moreau, Christophe Ringeissen, Marian Vittek - 2003