Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:

    ORCID: 0000-0002-9174-1861

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

      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, s. 43-54 12 s.

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

    3. Udgivet

      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, s. 13-24 12 s.

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

    ID: 9314