Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

    Publication year:
    All
    11 - 15 out of 15Page size: 10
    1. 2012
    2. 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

    3. 2013
    4. Published

      Structural logical relations with case analysis and equality reasoning

      Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

    5. Published

      Towards a streaming model for nested data parallelism

      Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

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

    6. 2016
    7. Published

      Streaming nested data parallelism on multicores

      Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, p. 44-51 8 p.

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

    8. 2021
    9. 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

    Previous 1 2 Next

    ID: 9314