Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:

    ORCID: 0000-0002-9174-1861

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

      Proof-directed program transformation: A functional account of efficient regular expression matching

      Filinski, Andrzej, 2021, I: Journal of Functional Programming. 31, 38 s., e12.

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

    3. 2007
    4. Udgivet

      On the relations between monadic semantics

      Filinski, Andrzej, 2007, I: Theoretical Computer Science. 375, 1-3, s. 41-75

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

    5. 2005
    6. Udgivet

      Denotational Aspects of Untyped Normalization by Evaluation

      Filinski, Andrzej & Rohde, H. K., 2005, I: Informatique théorique et applications (Imprimé). 39, 3, s. 423-453

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

    ID: 9314