hi lazyweb, does anyone know of existing work where ABIs are described in some sort of declarative format instead of being scattered around in a compiler (or related tool) implementation?

(edit: I've seen some Etherium-related work on this, but rather looking for ABIs such as C++ on x86-64)