Sergio Antoy, Rachid Echahed, Michael Hanus
A Needed Narrowing Strategy
POPL, 1994.
@inproceedings{POPL-1994-AntoyEH,
author = "Sergio Antoy and Rachid Echahed and Michael Hanus",
booktitle = "{Conference Record of the 21st Symposium on Principles of Programming Languages}",
doi = "10.1145/174675.177899",
editor = "Hans-Juergen Boehm and Bernard Lang and Daniel M. Yellin",
isbn = "0-89791-636-0",
pages = "268--279",
publisher = "{ACM Press}",
title = "{A Needed Narrowing Strategy}",
year = 1994,
}