Compiling multi-paradigm declarative programs into Prolog (1794)

by S Antoy, M Hanus
Venue:In Proc. 3rd Intl. Workshop on Frontiers of Combining Systems (FroCoS ’00