- Published
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Basics of Compiler Design, Kursusbog 5 Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.Research output: Book/Report › Book › Education
- Published
Software
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Programming Language Design and Implementation
Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).Research output: Book/Report › Book › Research › peer-review
- Published
Basics of Compiler Design
Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.Research output: Book/Report › Book › Education
- Published
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.Research output: Book/Report › Book › Education
- Published
Glossary for Partial Evaluation and Related Topics
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Garbage-Free Reversible Multiplication and Division
Mogensen, Torben Ægidius, 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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-36Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-12Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Most downloads
-
4555
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4110
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2509
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review