Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:


    1. 2007
    2. Published

      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, p. 97-110 (SIGPLAN Notices; No. 42 (9)).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    3. Published

      On the relations between monadic semantics

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

      Research output: Contribution to journalJournal articlepeer-review

    ID: 9314