- 2001
- Published
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, p. 205-213Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Normalization by Evaluation for the Computational Lambda-Calculus
Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2000
- Published
Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition
Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 p.Research output: Book/Report › Book › Research
- 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
Lienar-Time Self-Interpretation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237Research output: Contribution to journal › Journal article › Research › peer-review
- 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-142Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 1999
- Published
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14Research 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
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
Most downloads
-
4506
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
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