Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    1 - 10 out of 54Page size: 10
    1. 1992
    2. 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

    3. 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

    4. 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

    5. 1994
    6. 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

    7. 1995
    8. Published

      Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

    9. 1997
    10. Published

      Partial evaluation: introduction what is partial evaluation?

      Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (eds.). Suppl. 22 ed. New York: Marcel Dekker, Vol. 37. p. 247-279 33 p.

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

    11. 1998
    12. Published

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    13. Published

      Normalization for a Subset of Scheme using Type Predicates (Summary)

      Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    14. Published

      Partial evaluation Concepts and Applications

      Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    15. Published

      Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

      Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

    Previous 1 2 3 4 5 6 Next

    ID: 3086