Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:

    ORCID: 0000-0002-9174-1861

    Udgivelsesår:
    Alle
    1 - 2 ud af 2Pr. side: 25
    Sortering: Udgivelsesdato
    1. 2007
    2. Udgivet

      Inductive Reasoning About Effectful Data Types

      Filinski, Andrzej & Støvring, K., 2007, ICFP 07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, October 1-3, 2007. Association for Computing Machinery, s. 97-110 (SIGPLAN Notices; Nr. 42 (9)).

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

    3. 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

    ID: 9314