Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:


    1. 2005
    2. Udgivet

      Report on an Implementation of a Semi-Inverter

      Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 udg. Museum Tusculanum, s. 54-62 9 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    3. Udgivet

      Semi-Inversion of Guarded Equations

      Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 udg. Berlin: Springer, s. 189-204 16 s.

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    4. 2003
    5. Udgivet

      Linear Types for Cashflow Reengineering

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    6. 2002
    7. Udgivet

      Roll: A Language for Specifying Die-Rolls

      Mogensen, Torben Ægidius, 2002, publisher. Springer, s. 15

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    8. 2001
    9. Udgivet

      An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

      Mogensen, Torben Ægidius, 2001, publisher. Springer, s. 205-213

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    10. 2000
    11. Udgivet

      Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

      Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.

      Publikation: Bog/antologi/afhandling/rapportBog

    12. Udgivet

      Glossary for Partial Evaluation and Related Topics

      Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (4), s. 355-368

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    13. Udgivet

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    14. Udgivet

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

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    15. 1999
    16. Udgivet

      Basics of Compiler Design, Kursusbog 5 Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.

      Publikation: Bog/antologi/afhandling/rapportBog

    ID: 3086