Virtual Data Structures (1992)

Cached

Download Links

by D. Swierstra , D. Swierstra , O. De Moor , O. De Moor
Venue:Formal Program Development, Lecture Notes in Computer Science 755
Citations:14 - 3 self

Active Bibliography

39 Querying Nested Collections – Limsoon Wong - 1994
1 Simplifying Parallel List Traversal – Jan-willem Maessen, Jan-willem Maessen - 1995
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
Efficient Functional Programming Communication Functions on the AP1000 – Seng Wai Loke - 1994
456 Comprehending Monads – Philip Wadler - 1992
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
1 Expression Refinement: Deriving Bresenham's Algorithm – Alexander Bunkenburg, Sharon Flynn - 1994
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
Specification and Refinement of Functional Programs – Alexander Bunkenburg - 1994
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
93 Polytypic programming – Patrik Jansson - 2000
22 Declarative programming in Prolog – Krzysztof R. Apt - 1993
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998