A semantics for weakly encapsulated search in functional logic programs.

Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel

Browse the full PPDP paper archive.