Compiler Generation from Relational Semantics.

Mads Dam, Frank Jensen

Browse the full ESOP paper archive.