BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Germany
2 × Denmark
2 × United Kingdom
7 × USA
Collaborated with:
J.Rehof A.Bondorf T.P.Jensen
Talks about:
languag (5) partial (4) evalu (4) calculus (3) applic (3) time (3) self (3) roll (3) specifi (2) analysi (2)

Person: Torben Æ. Mogensen

DBLP DBLP: Mogensen:Torben_=AElig==

Contributed to:

PEPM 20112011
SAC 20092009
PEPM 20082008
GPCE 20052005
PADL 20032003
PEPM 19991999
IFL 19971997
SAS 19961996
PEPM 19951995
PEPM 19931993
LOPSTR 19921992
PEPM 19921992
ESOP 19901990
FPCA 19891989
TAPSOFT, Vol.2: CCIPL 19891989

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.