Denis Merigoux
4
Documents
Présentation
Personal web page: <https://merigoux.ovh>
Publications
- 4
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Steel: proof-oriented programming in a dependently typed concurrent separation logicProceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Article dans une revue
hal-03466397v1
|
|
|
SteelCore: an extensible concurrent separation logic for effectful dependently typed programsProceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Article dans une revue
hal-02936273v1
|
|
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the LawESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
Communication dans un congrès
hal-04536403v1
|
|
Turning Catala into a Proof Platform for the LawPOPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03447072v1
|