Summary: An Implementation of Narrowing Strategies
Sergio Antoy
antoy@cs.pdx.edu
Michael Hanus
mh@informatik.uni-kiel.de
Bart Massey
bart@cs.pdx.edu
Frank Steiner
fst@informatik.uni-kiel.de
Department of Computer Science
Portland State University
P.O. Box 751, Portland, OR 97207
U.S.A.
Institut f¨ur Informatik
Christian-Albrechts-Universit¨at Kiel
Olshausenstr. 40, D-24098 Kiel
Germany
ABSTRACT
This paper describes an implementation of narrowing, an es-
sential component of implementations of modern functional

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences