Documents Related by Co-Citation

215 Introduction to Functional Programming using Haskell – R Bird - 1998
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
1312 Monads for functional programming – Philip Wadler - 1995
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
55 Mathematical Theory of Program Correctness – J de Bakker - 1980
121 Bisimilarity as a theory of functional programming – A D Gordon
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
26 Calculating Functional Programs – Jeremy Gibbons - 2000
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
10 Semantics of the domain of flow diagrams – John C Reynolds - 1977
7 Programming with inductive and co-inductive types – John Greiner - 1992
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
46 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
12 Proof Methods for Structured Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
3 Inductive Programming – Richard B. Kieburtz - 1993