| Engineering Certified JSON Derivers for Rocq with ELPI | |
|---|---|
| Author | |
| Year of Publication |
2026
|
| Conference Name |
RocqShop (TPHOL Workshop)
|
| Date Published |
07/2026
|
| Google Scholar | BibTeX | |