The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Torben Æ. Mogensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Torben Æ. Mogensen
    Evolution of Partial Evaluators: Removing Inherited Limits. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:303-321 [Conf]
  2. Torben Æ. Mogensen
    An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:205-213 [Conf]
  3. Torben Æ. Mogensen
    Linear Types for Cashflow Reengineering. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:13-21 [Conf]
  4. Torben Æ. Mogensen
    A Semantics-Based Determinacy Analysis for Prolog with Cut. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:374-385 [Conf]
  5. Torben Æ. Mogensen
    Linear Time Self-Interpretation of the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:128-142 [Conf]
  6. Thomas P. Jensen, Torben Æ. Mogensen
    A Backwards Analysis for Compile-time Garbage Collection. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:227-239 [Conf]
  7. Torben Æ. Mogensen
    Separating Binding Times in Language Specifications. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:14-25 [Conf]
  8. Torben Æ. Mogensen
    Semi-inversion of Guarded Equations. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:189-204 [Conf]
  9. Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen
    A Self-Applicable Partial Evaluator for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    ICCL, 1990, pp:49-58 [Conf]
  10. Torben Æ. Mogensen
    Types for 0, 1 or Many Uses. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:112-122 [Conf]
  11. Torben Æ. Mogensen, Anders Bondorf
    Logimix: A Self-Applicable Partial Evaluator for Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:214-227 [Conf]
  12. Torben Æ. Mogensen
    Roll : A Language for Specifying Die-Rolls. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:145-159 [Conf]
  13. Torben Æ. Mogensen
    Self-applicable Partial Evaluation for Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:116-121 [Conf]
  14. Torben Æ. Mogensen
    Constructor Spezialization. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:22-32 [Conf]
  15. Torben Æ. Mogensen
    Self-applicable Online Partial Evaluation of Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:39-44 [Conf]
  16. Torben Æ. Mogensen
    Partial Evaluation: Concepts and Applications. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:1-19 [Conf]
  17. Torben Æ. Mogensen
    Inherited Limits. [Citation Graph (0, 0)][DBLP]
    Partial Evaluation, 1998, pp:189-202 [Conf]
  18. Torben Æ. Mogensen
    Gödelization in the Untyped lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:19-24 [Conf]
  19. Jakob Rehof, Torben Æ. Mogensen
    Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:285-300 [Conf]
  20. Torben Æ. Mogensen
    Binding Time Analysis for Polymorphically Typed Higher Order Languages. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:298-312 [Conf]
  21. Torben Æ. Mogensen
    Inherited Limits. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:5- [Journal]
  22. Torben Æ. Mogensen
    WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:52, n:1, pp:15-22 [Journal]
  23. Torben Æ. Mogensen
    Efficient Self-Interpretations in lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:3, pp:345-363 [Journal]
  24. Torben Æ. Mogensen
    Linear-Time Self-Interpretation of the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:217-237 [Journal]
  25. Torben Æ. Mogensen
    Glossary for Partial Evaluation and Related Topics. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:355-368 [Journal]
  26. Torben Æ. Mogensen, Carsten Kehler Holst
    Terminology. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:303-307 [Journal]
  27. Jakob Rehof, Torben Æ. Mogensen
    Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:2, pp:191-221 [Journal]
  28. Torben Æ. Mogensen
    Report on an Implementation of a Semi-inverter. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:322-334 [Conf]

  29. Planet Map Generation by Tetrahedral Subdivision. [Citation Graph (, )][DBLP]


  30. Semi-inversion of functional parameters. [Citation Graph (, )][DBLP]


  31. Troll, a language for specifying dice-rolls. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002