Compiling Multi-Paradigm Declarative Programs into Prolog.

Sergio Antoy Michael Hanus Compiling Multi-Paradigm Declarative Programs into Prolog. 171-185 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#AntoyH00