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
Tractable Constraints in Finite Semilattices
Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Den digitale revolution: fortællinger fra datalogiens verden
Naur, P., Vinter, B., Hansen, Klaus, Mogensen, Torben Ægidius, Erleben, Kenny, Pisinger, D., Nielsen, Mads, Kringelbach, M., Pedersen, E. W., Blume, P., Helles, Rasmus, Andersen, Tariq Osman (ed.), Bansler, Jørgen P. (ed.), Clausen, H. R. (ed.), Jensen, I. H. (ed.) & Zachariasen, M. (ed.), 2010, København: Datalogisk Institut. 156 p.Research output: Book/Report › Anthology › Communication
- 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
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
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
Planet map generation by tetrahedral subdivision
Mogensen, Torben Ægidius, 2010, Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 306-318 13 p. (Lecture notes in computer science, Vol. 5947).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
Partial evaluation Concepts and Applications
Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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
- 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
ID: 3086
Most downloads
-
5663
downloads
Planet map generation by tetrahedral subdivision
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4517
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
106
downloads
A comparison of well-quasi orders on trees
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Published