Torben Ægidius Mogensen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Building: 01-0-08
Member of:
- Published
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Roll: A Language for Specifying Die-Rolls
Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible in-place carry-lookahead addition with few ancillae
Mogensen, Torben Ægidius, 2019, Reversible Computation: 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (eds.). Springer, p. 224-237 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible Garbage Collection for Reversible Functional Languages
Mogensen, Torben Ægidius, Jul 2018, In: New Generation Computing. 36, 3, p. 203-232Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible Functional Array Programming
Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science, Vol. 12805 ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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 ed. Museum Tusculanum, p. 54-62 9 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reference counting for reversible languages
Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
RSSA: a reversible SSA form
Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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
ID: 3086
Most downloads
-
5650
downloads
Planet map generation by tetrahedral subdivision
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4501
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
105
downloads
A comparison of well-quasi orders on trees
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Published