From Interpreter to logic Engine by Defunctionalization

Dariusz Biernacki, Olivier Danvy

    Research output: Contribution to book/anthology/report/proceedingBook chapterResearch

    Fingerprint

    Dive into the research topics of 'From Interpreter to logic Engine by Defunctionalization'. Together they form a unique fingerprint.

    Computer Science

    Mathematics