Search - ENS de Lyon - École normale supérieure de Lyon Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 568599
Image document

Retrofitting OCaml modules

Clément Blaudeau , Didier Rémy , Gabriel Radanne
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100
Conference papers hal-03936636v2

Modular coinduction up-to for higher-order languages via first-order transition systems

Jean-Marie Madiot , Damien Pous , Davide Sangiorgi
Logical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩
Journal articles hal-03350199v1
Image document

33èmes Journées Francophones des Langages Applicatifs

Chantal Keller , Timothy Bourke , Sandrine Blazy , Frédéric Bour , Guillaume Bury et al.
Chantal Keller; Timothy Bourke. , pp.1-292, 2022
Books hal-03689075v1