A Monadic Implementation of Functional Logic Programs

Michael Hanus, Kai-Oliver Prott, Finn Teegen

Functional logic languages are a high-level approach to programming by combining the most important declarative features. They abstract from small-step operational details so that…