Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

    Udgivelsesår:
    Alle
    1 - 3 ud af 3Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1992
    2. Udgivet

      Efficient Self-Interpretation in Lambda Calculus

      Mogensen, Torben Ægidius, 1992, I: Journal of Functional Programming. 2(3), s. 345-364

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

    3. Udgivet

      Logimix: a self-applicable partial evaluator for Prolog.

      Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. s. 214-227

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

    4. Udgivet

      Self-applicable Partial Evaluation for Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1992, publisher. s. 116-121

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

    ID: 3086