| Partially static structures in a self-applicable partial evaluator T Mogensen Partial Evaluation and Mixed Computation, 325-347, 1988 | 94 | 1988 |
| Efficient self-interpretation in lambda calculus. T Mogensen Journal of Functional Programming 2 (3), 1992 | 82 | 1992 |
| Tractable constraints in finite semilattices J Rehof Science of Computer Programming 35 (2-3), 191-221, 1999 | 74 | 1999 |
| Logimix: A self-applicable partial evaluator for Prolog TÆ Mogensen, A Bondorf Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92 …, 1993 | 69 | 1993 |
| Basics of compiler design TÆ Mogensen Torben Ægidius Mogensen, 2009 | 66 | 2009 |
| Tractable constraints in finite semilattices J Rehof, TÆ Mogensen Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 65 | 1996 |
| Introduction to compiler design TÆ Mogensen Springer Nature, 2024 | 64 | 2024 |
| Separating binding times in language specifications TA Mogensen Proceedings of the fourth international conference on Functional programming …, 1989 | 61 | 1989 |
| A self-applicable partial evaluator for the lambda calculus ND Jones, CK Gomard, A Bondorf, O Danvy, TA Mogensen Proceedings. 1990 International Conference on Computer Languages, 49-58, 1990 | 58 | 1990 |
| Self-applicable online partial evaluation of the pure lambda calculus TA Mogensen Proceedings of the 1995 ACM SIGPLAN symposium on partial evaluation and …, 1995 | 49 | 1995 |
| The application of partial evaluation to ray-tracing T Mogensen Master's thesis, DIKU, University of Copenhagen, Denmark, 1986 | 48 | 1986 |
| Binding time analysis for polymorphically typed higher order languages TÆ Mogensen TAPSOFT'89: Proceedings of the International Joint Conference on Theory and …, 1989 | 45 | 1989 |
| A backwards analysis for compile-time garbage collection TP Jensen, TÆ Mogensen ESOP'90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15 …, 1990 | 43 | 1990 |
| Binding Ti1ne Aspects of Partial Evaluation TJE Mogensen | 42 | 1989 |
| Binding time analysis and the taming of self-application A Bondorf, ND Jones, T Mogensen, P Sestoft Draft, 1988 | 32 | 1988 |
| Types for 0, 1 or many uses TÆ Mogensen Implementation of Functional Languages: 9th International Workshop, IFL'97 …, 1998 | 28 | 1998 |
| Partial evaluation T Mogensen, P Sestoft Encyclopedia of Computer Science and Technology 37, 247-279, 1997 | 27 | 1997 |
| Constructor specialization TA Mogensen Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993 | 27 | 1993 |
| Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998 J Hatcliff, T Mogensen, P Thiemann Springer, 2007 | 24 | 2007 |
| Semi-inversion of guarded equations TÆ Mogensen International Conference on Generative Programming and Component Engineering …, 2005 | 24 | 2005 |
