Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Implementation of a parametrized functional SSA Intermediate Representation in Rocq
2026
0 citations
Preprint
green Open Access
Implementation of a parametrized functional SSA Intermediate Representation in Rocq | Researchclopedia