Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

    Publication year:
    All
    11 - 15 out of 15Page size: 10
    Sort by: 1st author
    1. Published

      Monads in action

      Filinski, Andrzej, 2010, POPL'10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 483-494 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    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 proceeding › Article in proceedings › Research › peer-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 journal › Journal article › Research › peer-review

    4. Published

      Normalization and Partial Evaluation

      Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, p. 137-192 (Lecture notes in computer science; No. 2395).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

    5. Published

      Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

      Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (eds.). Springer, p. 98-113 16 p. (Lecture notes in computer science, Vol. 7193).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 Next

    ID: 9314