Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    51 - 54 out of 54Page size: 10
    1. 1994
    2. Published

      Worm-2dpdas: An extension to 2dpdas that can be simulated in linear time

      Mogensen, Torben Ægidius, 1994, In: Information Processing Letters.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. 1992
    4. Published

      Efficient Self-Interpretation in Lambda Calculus

      Mogensen, Torben Ægidius, 1992, In: Journal of Functional Programming. 2(3), p. 345-364

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      Logimix: a self-applicable partial evaluator for Prolog.

      Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. p. 214-227

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. Published

      Self-applicable Partial Evaluation for Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1992, publisher. p. 116-121

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 12 3 4 5 6 Next

    ID: 3086