Effective Meta-programming in Declarative Languages (1998)

Cached

Download Links

by Antony Francis Bowers
Citations:2 - 0 self

Documents Related by Co-Citation

3 Logic Programming within a Functional Framework – A Brogi, P Mancarella, D Pedreschi, F Turini - 1990
1 Logic program synthesis and transformation: 7th international workshop – N E Fuchs, editor - 1997
18 Relating Logic Programs Via Program Maps – Marc Kirschenbaum, Leon Sterling, Ashish Jain - 1993
11 Skeletons and Techniques as a Normative Approach to Program Development in Logic-based Languages – Marc Kirschenbaum, Spiro Michaylov, Leon Sterling - 1994
12 Designing Prolog Programming Techniques – Wamberto Weber Vasconcelos - 1994
28 Directional Types and the Annotation Method – Johan Boye, Jan Maluszynski - 1997
17 A workbench for developing logic programs by stepwise enhancement – A Lakhotia - 1989
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
32 Declarative Aspect-Oriented Programming – Ralf Lämmel - 1999
8 Functional meta-programs towards reusability in the declarative paradigm – R LÄMMEL - 1999
58 Modular Logic Programming – José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira - 2002
35 Semantic Lego – David Espinosa - 1995
6 Projections of Logic Programs Using Symbol Mappings – Ashish Jain - 1995
5 Compiling Haskell by program transformation: a report from the trenches – S L Peyton-Jones - 1996
1 A taxonomy of meta-programming systems. http:// www.cse.ogi.edu/sheard/staged.html – T Sheard
42 Calculating compilers – E Meijer - 1992
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
97 and Order in Algorithmics – Law - 1992