Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    21 - 30 out of 54Page size: 10
    Sort by: Title
    1. Published

      Implementing reversible object-oriented language features on reversible machines

      Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

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

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

    3. Published

      Introduction to compiler design

      Mogensen, Torben Ægidius, 2011, Springer. 204 p.

      Research output: Book/Report › Book › Education

    4. Published

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

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

    5. Published

      Linear Types for Cashflow Reengineering

      Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

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

    6. Published

      Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

      Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

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

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

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

    9. Published

      Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

      Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

      Research output: Book/Report › Anthology › Research › peer-review

    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

    Previous 1 2 3 4 5 6 Next

    ID: 3086