Lazy and faithful assertions for functional logic programs (2010)

by M Hanus
Venue:In Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010