Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, September 20-23, 2000, Montreal, Canada. ACM, 2000
: Concurrent constraint programming and linear logic (abstract).
: Linear logic programming with an ordered context.
: Proof construction and non-commutativity: a cluster calculus.
: Simplifying termination proofs for rewrite systems by preprocessing.
George C. Necula
: Proof-carrying code: design, implementation and applications (abstract).
: A precise type analysis of logic programs.
: Efficient memory management in a merged heap/stack prolog machine.