Filter your results
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Retrofitting OCaml modulesJFLA 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 systemsLogical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩
Journal articles
hal-03350199v1
|
||
|
33èmes Journées Francophones des Langages ApplicatifsBooks hal-03689075v1 |