Towards a Modular Program Derivation via Fusion and Tupling (2002)

Cached

Download Links

by Wei-Ngan Chin , Zhenjiang Hu
Venue: The First ACM SIGPLAN Conference on Generators and Components, Lecture
Citations:2 - 0 self

Documents Related by Co-Citation

3 Polymorphic subtyping in O’Haskell. Science of computer programming, 43(2–3), 93–127. Also – J Nordlander - 2002
2 Recursion Schemes for Dynamic Programming – Jevgeni Kabanov, Varmo Vene
4 Object-oriented aspects of Moby – K Fisher, J Reppy
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
5 The expression problem. Message to java-genericity electronic mailing list – P Wadler - 1998
4 Translation Correctness for First-Order Object-Oriented Pattern Matching – Burak Emir, Qin Ma, Martin Odersky - 2007
9 Functional programming with apomorphisms (corecursion – Varmo Vene, Tarmo Uustalub - 1998
21 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
9 Javagi: Generalized interfaces for java – Stefan Wehr, Ralf Lämmel, Peter Thiemann - 2007
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
63 Distributive laws – J Beck - 1969
10 Adding recursive constructs to bialgebraic semantics – B Klin - 2004
22 Open data types and open functions – Andres Löh, Ralf Hinze - 2006