Follow
Torben Ęgidius Mogensen
Torben Ęgidius Mogensen
Computer Science, DIKU, University of Copenhagen
Verified email at di.ku.dk - Homepage
Title
Cited by
Cited by
Year
Partially static structures in a self-applicable partial evaluator
T Mogensen
Partial Evaluation and Mixed Computation, 325-347, 1988
931988
Efficient self-interpretation in lambda calculus.
T Mogensen
Journal of Functional Programming 2 (3), 1992
781992
Tractable constraints in finite semilattices
J Rehof
Science of Computer Programming 35 (2-3), 191-221, 1999
741999
Logimix: A self-applicable partial evaluator for Prolog
TĘ Mogensen, A Bondorf
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92 …, 1993
681993
Tractable constraints in finite semilattices
J Rehof, TĘ Mogensen
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
661996
Basics of compiler design
TĘ Mogensen
652010
Introduction to compiler design
TĘ Mogensen
Springer Nature, 2024
642024
Separating binding times in language specifications
TA Mogensen
Proceedings of the fourth international conference on Functional programming …, 1989
611989
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
591990
The application of partial evaluation to ray-tracing
T Mogensen
Master's thesis, DIKU, University of Copenhagen, Denmark, 1986
491986
Self-applicable online partial evaluation of the pure lambda calculus
TA Mogensen
Proceedings of the 1995 ACM SIGPLAN symposium on partial evaluation and …, 1995
481995
A backwards analysis for compile-time garbage collection
TP Jensen, TĘ Mogensen
ESOP'90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15 …, 1990
451990
Binding time analysis for polymorphically typed higher order languages
TĘ Mogensen
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and …, 1989
451989
Binding Ti1ne Aspects of Partial Evaluation
TJE Mogensen
431989
Binding time analysis and the taming of self-application
A Bondorf, ND Jones, T Mogensen, P Sestoft
Draft, 1988
331988
Types for 0, 1 or many uses
TĘ Mogensen
Implementation of Functional Languages: 9th International Workshop, IFL'97 …, 1998
281998
Partial evaluation
T Mogensen, P Sestoft
Encyclopedia of Computer Science and Technology 37, 247-279, 1997
271997
Constructor specialization
TA Mogensen
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and …, 1993
271993
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
262007
Partial evaluation of the reversible language Janus
TĘ Mogensen
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
232011
The system can't perform the operation now. Try again later.
Articles 1–20