Bibliography

BBR97

C. Belleannie, P. Brisset, and O. Ridoux.
A pragmatic reconstruction of $\lambda$-Prolog.
Technical Report Publication Interne IRISA no. 877, IRISA, October 1994 (revised 1997).

BJM96

G. Bellé, C.B. Jay, and E. Moggi.
Functorial ml.
In Proc. PLILP '96, LNCS 1140, pages 32-46. Springer Verlag, 1996.

GH95

T. Gegg-Harrison.
Representing logic program schemata in $\lambda$-Prolog.
In L. Sterling, editor, Proc. 12th ICLP, pages 467-481. MIT Press, 1995.

GH96

T. Gegg-Harrison.
Extensible logic program schemata.
In J.P. Gallagher, editor, Logic Programming Synthesis and Transformation: 6th International Workshop, LOPSTR'96, LNCS 1207, pages 256-274. Springer Verlag, 1996.

Jay95

C.B. Jay.
A semantics for shape.
Science of Computer Programming, 25:251-283, 1995.

JC94

C.B. Jay and J.R.B. Cockett.
Shapely types and shape polymorphism.
In D. Sannella, editor, Proc. Programming Languages and Systems -- ESOP '94: 5th European Symposium on Programming, pages 302-316. Springer Verlag, April 1994.

JJ96

J. Jeuring and P. Jansson.
Polytypic programming.
In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, LNCS 1129, pages 68-114. Springer-Verlag, 1996.

JJ97

P. Jansson and J. Jeuring.
PolyP -- a polytypic programming language extension.
In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470-482. ACM, 1997.

KMS96

M. Kirschenbaum, S. Michaylov, and L.S. Sterling.
Skeletons and techniques as a normative approach to program development in logic-based languages.
In Proc. ACSC'96, Australian Computer Science Communications, 18(1), pages 516-524, 1996.

Lak89

A. Lakhotia.
A Workbench for Developing Logic Programs by Stepwise Enhancement.
Ph.D., Case Western Reserve University, 1989.

Nai96

Lee Naish.
Higher-order logic programming in Prolog.
Technical Report 96/2, Department of Computer Science, University of Melbourne, Melbourne, Australia, February 1996.

NM88

G. Nadathur and D. Miller.
An overview of $\lambda$-Prolog.
In K. Bowen and R. Kowlaski, editors, Proceedings of JICSLP, pages 810-827. MIT Press, 1988.

NS98

Lee Naish and Leon Sterling.
A higher order reconstruction of stepwise enhancement.
In N.E. Fuchs, editor, Logic Programming Synthesis and Transformation: 7th International Workshop, LOPSTR'97, number 1463 in Lecture notes in computer science, pages 245-262. Springer-Verlag, October 1998.

PS90

A.J. Power and L.S. Sterling.
A notion of map between logic programs.
In Warren and Szeredi, editors, Proceedings of 7th ICLP, pages 390-404. MIT Press, 1990.

SHC95

Zoltan Somogyi, Fergus J. Henderson, and Thomas Conway.
Mercury: an efficient purely declarative logic programming language.
In Proceedings of the Australian Computer Science Conference, pages 499-512, Glenelg, Australia, February 1995.

SS93

L.S. Sterling and C. Sitt Sen.
A tool to support stepwise enhancement in prolog.
In Workshop on Logic Programming Environments, pages 21-26, Vancouver, October, 1993.

SS94

Leon Sterling and Ehud Shapiro.
The art of Prolog, 2nd edition.
Logic Programming series. MIT Press, Cambridge, Massachusetts, 1994.

SW95

Konstantinos Sagonas and David S. Warren.
Efficient execution of HiLog in WAM-based Prolog implementations.
In Leon Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 349-363, Japan, June 1995. MIT Press.

SY96

L.S. Sterling and U. Yalçinalp.
Logic programming and software engineering -- implications for software design.
Knowledge Engineering Review, 11(4):333-345, 1996.

VF95

W. Vasconcelos and N.E. Fuchs.
An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations.
In M. Proietti, editor, Proc. LOPSTR'95, pages 174-188. Springer Verlag, 1995.

YS90

E. Yardeni and E.Y. Shapiro.
A type system for logic programs.
Journal of Logic Programming, 10(2):125-154, 1990.