Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

    Udgivelsesår:
    Alle
    41 - 50 ud af 54Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1999
    2. Udgivet

      Basics of Compiler Design, Kususbog 6 til Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.

      Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

    3. Udgivet

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. s. 19-24

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    4. Udgivet

      Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

      Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

    5. Udgivet

      Tractable Constraints in Finite Semilattices

      Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. 1998
    7. Udgivet

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, s. 1-12

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    8. Udgivet

      Normalization for a Subset of Scheme using Type Predicates (Summary)

      Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, s. 35-36

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    9. Udgivet

      Partial evaluation Concepts and Applications

      Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, s. 1-19

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    10. Udgivet

      Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

      Mogensen, Torben Ægidius, 1998, publisher. Springer, s. 112-122

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    11. 1997
    12. Udgivet

      Partial evaluation: introduction what is partial evaluation?

      Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (red.). Suppl. 22 udg. New York: Marcel Dekker, Bind 37. s. 247-279 33 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    13. 1995
    14. Udgivet

      Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, s. 39-44

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 Næste

    ID: 3086