Partially static structures in a self-applicable partial evaluator T Mogensen Partial Evaluation and Mixed Computation, 325-347, 1988 | 93 | 1988 |

Efficient self-interpretation in lambda calculus. T Mogensen Journal of Functional Programming 2 (3), 1992 | 78 | 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 | 68 | 1993 |

Tractable constraints in finite semilattices J Rehof, TĘ Mogensen Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 66 | 1996 |

Basics of compiler design TĘ Mogensen | 65 | 2010 |

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 | 59 | 1990 |

The application of partial evaluation to ray-tracing T Mogensen Master's thesis, DIKU, University of Copenhagen, Denmark, 1986 | 49 | 1986 |

Self-applicable online partial evaluation of the pure lambda calculus TA Mogensen Proceedings of the 1995 ACM SIGPLAN symposium on partial evaluation and …, 1995 | 48 | 1995 |

A backwards analysis for compile-time garbage collection TP Jensen, TĘ Mogensen ESOP'90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15 …, 1990 | 45 | 1990 |

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 |

Binding Ti1ne Aspects of Partial Evaluation TJE Mogensen | 43 | 1989 |

Binding time analysis and the taming of self-application A Bondorf, ND Jones, T Mogensen, P Sestoft Draft, 1988 | 33 | 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 | 26 | 2007 |

Partial evaluation of the reversible language Janus TĘ Mogensen Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 23 | 2011 |