Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Dominique Devriese', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
    Transpension: The Right Adjoint to the Pi-type

    Transpension: The Right Adjoint to the Pi-type Autor Andreas Nuyts, Dominique Devriese

    Vydáno 2024-06-01
    Získat plný text
    Článek
  2. 2
    Modular, Fully-abstract Compilation by Approximate Back-translation

    Modular, Fully-abstract Compilation by Approximate Back-translation Autor Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

    Vydáno 2017-10-01
    Získat plný text
    Článek

Vyhledávací nástroje: