Higher-Order Implementation of Program Transformations using Algebraic Specification.
Francesca Arcelli, Ferrante Formato
VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming
DBLP recordconf/iclp/ArcelliF94 ↗
Browse the full ICLP paper archive.