Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)

John Alan Robinson

Browse the full LICS paper archive.