Torben Æ. Mogensen

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Classification Trees

Information Retrieval

Lagrangian Relaxation

Top Venues

Festschrift for Dave Schmidt

Publications

Torben Æ. Mogensen
A Comparison of Well-Quasi Orders on Trees. Festschrift for Dave Schmidt (2013)
Torben Æ. Mogensen
Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. RC (2013)
Torben Æ. Mogensen
Partial evaluation of the reversible language janus. PEPM (2011)
Torben Æ. Mogensen
Partial Evaluation of Janus Part 2: Assertions and Procedures. Ershov Memorial Conference (2011)
Torben Æ. Mogensen
Troll, a language for specifying dice-rolls. SAC (2009)
Torben Æ. Mogensen
Planet Map Generation by Tetrahedral Subdivision. Ershov Memorial Conference (2009)
Torben Æ. Mogensen
Semi-inversion of functional parameters. PEPM (2008)
Torben Æ. Mogensen
Report on an Implementation of a Semi-inverter. Ershov Memorial Conference (2006)
Torben Æ. Mogensen
Semi-inversion of Guarded Equations. GPCE (2005)
Torben Æ. Mogensen
Linear Types for Cashflow Reengineering. Ershov Memorial Conference (2003)
Torben Æ. Mogensen
Roll : A Language for Specifying Die-Rolls. PADL (2003)
Torben Æ. Mogensen
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. Ershov Memorial Conference (2001)
Torben Æ. Mogensen
Linear-Time Self-Interpretation of the Pure Lambda Calculus. High. Order Symb. Comput. 13 (3) (2000)
Torben Æ. Mogensen
Glossary for Partial Evaluation and Related Topics. High. Order Symb. Comput. 13 (4) (2000)
Torben Æ. Mogensen
Gödelization in the Untyped lambda-Calculus. PEPM (1999)
Jakob Rehof, Torben Æ. Mogensen
Tractable Constraints in Finite Semilattices. Sci. Comput. Program. 35 (2) (1999)
Torben Æ. Mogensen
Linear Time Self-Interpretation of the Pure Lambda Calculus. Ershov Memorial Conference (1999)
Torben Æ. Mogensen
Inherited Limits. ACM Comput. Surv. 30 (3es) (1998)
Torben Æ. Mogensen
Inherited Limits. Partial Evaluation (1998)
Torben Æ. Mogensen
Partial Evaluation: Concepts and Applications. Partial Evaluation (1998)
Torben Æ. Mogensen
Types for 0, 1 or Many Uses. Implementation of Functional Languages (1997)
Jakob Rehof, Torben Æ. Mogensen
Tractable Constraints in Finite Semilattices. SAS (1996)
Torben Æ. Mogensen
Evolution of Partial Evaluators: Removing Inherited Limits. Dagstuhl Seminar on Partial Evaluation (1996)
Torben Æ. Mogensen
A Semantics-Based Determinacy Analysis for Prolog with Cut. Ershov Memorial Conference (1996)
Torben Æ. Mogensen
Self-applicable Online Partial Evaluation of Pure Lambda Calculus. PEPM (1995)
Torben Æ. Mogensen
WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time. Inf. Process. Lett. 52 (1) (1994)
Torben Æ. Mogensen
Constructor Spezialization. PEPM (1993)
Torben Æ. Mogensen, Anders Bondorf
Logimix: A Self-Applicable Partial Evaluator for Prolog. LOPSTR (1992)
Torben Æ. Mogensen
Self-applicable Partial Evaluation for Pure Lambda Calculus. PEPM (1992)
Torben Æ. Mogensen
Efficient Self-Interpretations in lambda Calculus. J. Funct. Program. 2 (3) (1992)
Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen
A Self-Applicable Partial Evaluator for the Lambda Calculus. ICCL (1990)
Thomas P. Jensen, Torben Æ. Mogensen
A Backwards Analysis for Compile-time Garbage Collection. ESOP (1990)
Torben Æ. Mogensen
Separating Binding Times in Language Specifications. FPCA (1989)
Torben Æ. Mogensen
Binding Time Analysis for Polymorphically Typed Higher Order Languages. TAPSOFT, Vol.2 (1989)
Torben Æ. Mogensen, Carsten Kehler Holst
Terminology. New Gener. Comput. 6 (2&3) (1988)