Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:


    1. 2001
    2. Published

      Normalization by Evaluation for the Computational Lambda-Calculus

      Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).

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

    3. 2002
    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 proceedingBook chapterEducation

    5. 2004
    6. Published

      A Denotational Account of Untyped Normalization by Evaluation

      Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

    7. 2005
    8. 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 journalJournal articlepeer-review

    9. 2007
    10. 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

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

    12. 2009
    13. Published

      A Game-Theoretic Model for Distributed Programming by Contract

      Henriksen, A. S., Hvitved, T. & Filinski, Andrzej, 2009, Workshop on Games, Business Processes and Models of Interaction: We present an extension of the programming-by-contract (PBC) paradigmto a concurrent and distributed environment. Classical PBC is characterized by absoluteconformance of code to its specification, assigning blame in case of failures, anda hierarchical, cooperative decomposition model – none of which extend naturally toa distributed environment with multiple administrative peers. We therefore propose amore nuanced contract model based on quantifiable performance of implementations;assuming responsibility for success, and a fundamentally adversarial model of systemintegration, where each component provider is optimizing its behavior locally, withrespect to potentially conflicting demands. This model gives rise to a game-theoreticformulation of contract-governed process interactions that supports compositional reasoningabout contract conformance. Bonner Köllen Verlag, Vol. P-154. p. 3473-3484 12 p. (GI Edition: Lecture Notes in Informatics, Vol. P-154).

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

    14. 2010
    15. 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 proceedingArticle in proceedingsResearchpeer-review

    16. 2011
    17. Published

      Towards a comprehensive theory of monadic effects

      Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

      Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    18. 2012
    19. Published

      FHPC'12: Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing

      Filinski, Andrzej (ed.) & Grelck, C. (ed.), 2012, Association for Computing Machinery. 104 p.

      Research output: Book/ReportBookpeer-review

    Previous 1 2 Next

    ID: 9314