Person: Torben Æ. Mogensen

DBLP: Mogensen:Torben_=AElig==

Contributed to:

2011

2009

2008

2005

2003

1999

1997

1996

1995

1993

1992

1992

1990

1989

1989

Wrote 15 papers:

PEPM-2011-Mogensen #partial evaluation

Partial evaluation of the reversible language janus (TÆM), pp. 23–32.

SAC-2009-Mogensen #game studies #specification

Troll, a language for specifying dice-rolls (TÆM), pp. 1910–1915.

PEPM-2008-Mogensen #functional #parametricity

Semi-inversion of functional parameters (TÆM), pp. 21–29.

GPCE-2005-Mogensen #equation

Semi-inversion of Guarded Equations (TÆM), pp. 189–204.

PADL-2003-Mogensen #specification

Roll : A Language for Specifying Die-Rolls (TÆM), pp. 145–159.

PEPM-1999-Mogensen #λ-calculus

Gödelization in the Untyped λ-Calculus (TÆM), pp. 19–24.

IFL-1997-Mogensen

Types for 0, 1 or Many Uses (TÆM), pp. 112–122.

SAS-1996-RehofM #constraints #finite

Tractable Constraints in Finite Semilattices (JR, TÆM), pp. 285–300.

PEPM-1995-Mogensen #online #partial evaluation #self #λ-calculus

Self-applicable Online Partial Evaluation of Pure λ Calculus (TÆM), pp. 39–44.

PEPM-1993-Mogensen

Constructor Spezialization (TÆM), pp. 22–32.

LOPSTR-1992-MogensenB #named #prolog #self

Logimix: A Self-Applicable Partial Evaluator for Prolog (TÆM, AB), pp. 214–227.

PEPM-1992-Mogensen #partial evaluation #self #λ-calculus

Self-applicable Partial Evaluation for Pure λ Calculus (TÆM), pp. 116–121.

ESOP-1990-JensenM #analysis #garbage collection

A Backwards Analysis for Compile-time Garbage Collection (TPJ, TÆM), pp. 227–239.

FPCA-1989-Mogensen #specification

Separating Binding Times in Language Specifications (TÆM), pp. 14–25.

CCIPL-1989-Mogensen #analysis #higher-order

Binding Time Analysis for Polymorphically Typed Higher Order Languages (TÆM), pp. 298–312.