Torben Æ. Mogensen

40 papers A 1B 2C 9Misc 1Journal 8Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Generation of Zoomable maps with Rivers and Fjords. CoRR Torben Æ. Mogensen, Emil N. Isenbecker
2021	—	`ed.`	Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. PEPM@POPL Sam Lindley, Torben Æ. Mogensen
2020	—	`ch.`	Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski
2013	—	`conf`	A Comparison of Well-Quasi Orders on Trees. Festschrift for Dave Schmidt Torben Æ. Mogensen
2013	C	`conf`	Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. RC Torben Æ. Mogensen
2011	—	`conf`	Partial Evaluation of Janus Part 2: Assertions and Procedures. Ershov Memorial Conference Torben Æ. Mogensen
2011	C	`conf`	Partial evaluation of the reversible language janus. PEPM Torben Æ. Mogensen
2009	—	`conf`	Planet Map Generation by Tetrahedral Subdivision. Ershov Memorial Conference Torben Æ. Mogensen
2009	Misc	`conf`	Troll, a language for specifying dice-rolls. SAC Torben Æ. Mogensen
2008	C	`conf`	Semi-inversion of functional parameters. PEPM Torben Æ. Mogensen
2006	—	`conf`	Report on an Implementation of a Semi-inverter. Ershov Memorial Conference Torben Æ. Mogensen
2005	B	`conf`	Semi-inversion of Guarded Equations. GPCE Torben Æ. Mogensen
2003	—	`conf`	Linear Types for Cashflow Reengineering. Ershov Memorial Conference Torben Æ. Mogensen
2003	C	`conf`	Roll : A Language for Specifying Die-Rolls. PADL Torben Æ. Mogensen
2002	—	`ed.`	The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday] The Essence of Computation Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough
2001	—	`conf`	An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. Ershov Memorial Conference Torben Æ. Mogensen
2000	J	`jnl`	Glossary for Partial Evaluation and Related Topics. High. Order Symb. Comput. Torben Æ. Mogensen
2000	J	`jnl`	Linear-Time Self-Interpretation of the Pure Lambda Calculus. High. Order Symb. Comput. Torben Æ. Mogensen
1999	C	`conf`	Gödelization in the Untyped lambda-Calculus. PEPM Torben Æ. Mogensen
1999	—	`conf`	Linear Time Self-Interpretation of the Pure Lambda Calculus. Ershov Memorial Conference Torben Æ. Mogensen
1999	—	`ed.`	Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 Partial Evaluation John Hatcliff, Torben Æ. Mogensen, Peter Thiemann
1999	J	`jnl`	Tractable Constraints in Finite Semilattices. Sci. Comput. Program. Jakob Rehof, Torben Æ. Mogensen
1998	—	`conf`	Inherited Limits. Partial Evaluation Torben Æ. Mogensen
1998	J	`jnl`	Inherited Limits. ACM Comput. Surv. Torben Æ. Mogensen
1998	—	`conf`	Partial Evaluation: Concepts and Applications. Partial Evaluation Torben Æ. Mogensen
1997	—	`conf`	Types for 0, 1 or Many Uses. Implementation of Functional Languages Torben Æ. Mogensen
1996	—	`conf`	A Semantics-Based Determinacy Analysis for Prolog with Cut. Ershov Memorial Conference Torben Æ. Mogensen
1996	—	`conf`	Evolution of Partial Evaluators: Removing Inherited Limits. Dagstuhl Seminar on Partial Evaluation Torben Æ. Mogensen
1996	B	`conf`	Tractable Constraints in Finite Semilattices. SAS Jakob Rehof, Torben Æ. Mogensen
1995	C	`conf`	Self-applicable Online Partial Evaluation of Pure Lambda Calculus. PEPM Torben Æ. Mogensen
1994	J	`jnl`	WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time. Inf. Process. Lett. Torben Æ. Mogensen
1993	C	`conf`	Constructor Spezialization. PEPM Torben Æ. Mogensen
1992	J	`jnl`	Efficient Self-Interpretations in lambda Calculus. J. Funct. Program. Torben Æ. Mogensen
1992	C	`conf`	Logimix: A Self-Applicable Partial Evaluator for Prolog. LOPSTR Torben Æ. Mogensen, Anders Bondorf
1992	C	`conf`	Self-applicable Partial Evaluation for Pure Lambda Calculus. PEPM Torben Æ. Mogensen
1990	A	`conf`	A Backwards Analysis for Compile-time Garbage Collection. ESOP Thomas P. Jensen, Torben Æ. Mogensen
1990	—	`conf`	A Self-Applicable Partial Evaluator for the Lambda Calculus. ICCL Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen
1989	—	`conf`	Binding Time Analysis for Polymorphically Typed Higher Order Languages. TAPSOFT, Vol.2 Torben Æ. Mogensen
1989	—	`conf`	Separating Binding Times in Language Specifications. FPCA Torben Æ. Mogensen
1988	J	`jnl`	Terminology. New Gener. Comput. Torben Æ. Mogensen, Carsten Kehler Holst