This is the homepage of the paper Adapting Functional Programs to Higher Order Logic, authored by Scott Owens, and Konrad Slind, to appear in Higher Order and Symbolic Computation.
Bibtex reference:
@article{SlindOwens:Adapting,
AUTHOR = {{Scott Owens} and {Konrad Slind}},
TITLE = {Adapting Functional Programs to Higher Order Logic},
JOURNAL = {Higher Order and Symbolic Computation},
YEAR = {???},
NOTE = {To appear}
}