On a tighter integration of functional and logic programming (2007)

by B Brassel, F Huch
Venue:In APLAS’07: Proceedings of the 5th Asian conference on Programming languages and systems