Torben Ægidius Mogensen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Bygning: 01-0-08
Medlem af:
- Udgivet
A comparison of well-quasi orders on trees
Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (red.). s. 30-40 11 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- 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-213Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Basics of Compiler Design
Mogensen, Torben Ægidius, 2008, Extended udg. Lulu.com. 277 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
Basics of Compiler Design, Kursusbog 5 Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- 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/rapport › Bog › Forskning
- Udgivet
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
Data structures and dynamic memory management in reversible languages
Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 (red.), Bansler, Jørgen P. (red.), Clausen, H. R. (red.), Jensen, I. H. (red.) & Zachariasen, M. (red.), 2010, København: Datalogisk Institut. 156 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Formidling
- Udgivet
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Efficient Self-Interpretation in Lambda Calculus
Mogensen, Torben Ægidius, 1992, I: Journal of Functional Programming. 2(3), s. 345-364Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 3086
Flest downloads
-
5658
downloads
Planet map generation by tetrahedral subdivision
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
4511
downloads
Troll, a Language for specifying Dice-rolls
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
106
downloads
A comparison of well-quasi orders on trees
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Udgivet