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
Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467
Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
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
ID: 3086
Most downloads
-
5661
downloads
Planet map generation by tetrahedral subdivision
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4514
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