Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In Hughes, J., ed.: Proc. of 5th ACM Conf. on Functional Programming Languages and Computer Architecture, FPCA '91. Vol. 523 of Lect. Notes in Comput. Sci. Springer-Verlag, Berlin (1991) 124--144 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Recursion Schemes for Dynamic Programming - Kabanov, Vene (Correct)
No context found.
Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In Hughes, J., ed.: Proc. of 5th ACM Conf. on Functional Programming Languages and Computer Architecture, FPCA '91. Vol. 523 of Lect. Notes in Comput. Sci. Springer-Verlag, Berlin (1991) 124--144
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--144. Springer-Verlag, 1991.
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In LNCS 523: Functional Programming Languages and Computer Architecture, pages 124--144. Springer-Verlag, 1991.
A Fresh Look at Parametric Polymorphism: Covariant Types - Barry Jay School (1996) (Correct)
No context found.
E. Meijer, M. Fokkinga and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes (editor) , Procceding of the 5th ACM Conference on Functional Programming and Compter Architecture, Volume 523 of Lecture Notes in Computer Science, pages 124--44. Springer Verlag, 1991.
Covariant Types - Barry Jay School (1997) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--44. Springer Verlag, 1991. 18
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
No context found.
E. Meijer, M. Fokkinga, R. Paterson, Functional programming with bananas, lenses, envelopes and barbed wire, in: J. Hughes (Ed.), Functional Programming Languages and Computer Architecture, Vol. 523 of Lecture Notes in Computer Science, Springer-Verlag, 1991, pp. 124--144. 41
The Constructor Calculus - Jay (2003) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--44. Springer Verlag, 1991.
Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (6 citations) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--44. Springer Verlag, 1991.
The Pattern Calculus - Jay (2003) (1 citation) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--44. Springer Verlag, 1991.
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--144, Cambridge, MA, August 26--30, 1991. Springer, Berlin.
Equational Semantics - Correnson (1999) (2 citations) (Correct)
No context found.
E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Conf. on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lect. Notes in Comp. Sci., pages 124--144, Cambridge, September 1991. Springer-Verlag.
Declarative Program Transformation: A Deforestation.. - Correnson, Duris.. (1999) (10 citations) (Correct)
No context found.
E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Functional Programming and Computer Architecture (FPCA'91), LNCS # 523, Cambridge, September 1991. Springer-Verlag.
Equational Semantics - Loic Correnson Etienne (1999) (2 citations) (Correct)
No context found.
E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Conf. on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lect. Notes in Comp. Sci., pages 124--144, Cambridge, September 1991. Springer-Verlag.
A Generic Framework for Genericity - Loic Correnson Etienne (Correct)
No context found.
E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Conf. on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lect. Notes in Comp. Sci., pages 124--144, Cambridge, September 1991. Springer-Verlag.
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) (Correct)
No context found.
E. Meijer, M. Fokkinga, R. Paterson, Functional programming with bananas, lenses, envelopes, and barbed wire, in: J. Hughes (Ed.), FPCA'91: Functional Programming Languages and Computer Architecture, Vol. 523 of LNCS, Springer-Verlag, 1991, pp. 124--144.
Computation in Space and Space in Computation - Giavitto, Michel, Cohen, Spicher (2004) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124--144, Cambridge, MA, August 26--30, 1991. Springer, Berlin.
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Hughes [13], pages 124--144.
Monadic Corecursion - Definition, Fusion Laws, and Applications - Pardo (1998) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In Proceedings of the ACM FPCA'91, LNCS 523. Springer-Verlag, August 1991.
Recursive Coalgebras from Comonads - Capretta, Uustalu (2004) (Correct)
No context found.
E. Meijer, M. Fokkinga, R. Paterson, Functional programming with bananas, lenses, envelopes and barbed wire, in: J. Hughes (Ed.), Proc. of 5th ACM Conf. on Functional Programming Languages and Computer Architecture, FPCA'91 (Cambridge, MA, Aug. 1991.
Scrap Your Boilerplate: A Practical Design Pattern for Generic .. - Lämmel, Jones (2003) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Hughes [13], pages 124--144.
Make it Practical: A Generic Linear-Time Algorithm for.. - Sasano, Hu, Takeichi.. (2000) (1 citation) (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proc. Conference on Functional Programming Languages and Computer Architecture (LNCS 523), pages 124-144, Cambridge, Massachusetts, Aug. 1991.
Polytypic Abstraction in Type Theory - Pfeifer And Rue (Correct)
No context found.
E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, pages 124--144, 1991.
Deterministic Higher-order Patterns for Program Transformation - Yokoyama, Hu, Takeichi (2003) (Correct)
No context found.
Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Proceedings of the 5th International Conference on Functional Programming Languages and Computer Architecture (FPCA'91). Volume 523 of LNCS., Cambridge, Massachusetts, Springer-Verlag (1991) 124-144
Type-Indexed Data Types - Hinze, Jeuring, Loh (2001) (7 citations) (Correct)
No context found.
E. Meijer, M.M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes, and barbed wire. In J. Hughes, editor, FPCA'91: Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124-144. SpringerVerlag, 1991.
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
No context found.
E. Meijer, M. M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Functional Programming and Computer Architecture, pages 124--144. Springer-Verlag, 1991.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC