Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

    Publication year:
    All
    1 - 3 out of 3Page size: 10
    1. 2021
    2. Published

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

      Filinski, Andrzej, 2021, In: Journal of Functional Programming. 31, 38 p., e12.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. 2007
    4. Published

      On the relations between monadic semantics

      Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. 2005
    6. Published

      Denotational Aspects of Untyped Normalization by Evaluation

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    ID: 9314