Search results

Jump to: navigation, search

Create the page "Jacques-Henri Jourdan" on this wiki! See also the page found with your search.

  • POPL 2018
    ...eh Shan, Mathias Fleury, Andreas Lochbihler, Andrei Popescu, Jacques-Henri Jourdan, Robbert Krebbers * Jacques-Henri Jourdan, Robbert Krebbers: Iris - A Modular Foundation for Higher-Order Concurrent
    4 KB (472 words) - 15:41, 9 July 2020
Retrieved from "https://www.openresearch.org/wiki/Special:Search"