"Abstract Interpretation and Partial Evaluation in Functional and Logic ..."

Neil D. Jones (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics