A Tiny Constrain Functional Logic Language and Its Continuation Semantics.

Andy Mck, Thomas Streicher

Browse the full ESOP paper archive.