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:
ORCID: 0000-0003-4862-9193
1 - 3 out of 3Page size: 25
- 1992
- Published
Efficient Self-Interpretation in Lambda Calculus
Mogensen, Torben Ægidius, 1992, In: Journal of Functional Programming. 2(3), p. 345-364Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Logimix: a self-applicable partial evaluator for Prolog.
Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. p. 214-227Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Self-applicable Partial Evaluation for Pure Lambda Calculus
Mogensen, Torben Ægidius, 1992, publisher. p. 116-121Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 3086
Most downloads
-
5658
downloads
Planet map generation by tetrahedral subdivision
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4511
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