Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Dominique Devriese', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1
    Transpension: The Right Adjoint to the Pi-type

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

    Argitaratua 2024-06-01
    Testu osoa
    Artikulua
  2. 2
    Modular, Fully-abstract Compilation by Approximate Back-translation

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

    Argitaratua 2017-10-01
    Testu osoa
    Artikulua

Bilaketa egiteko lanabesak: