And then 15 years of waiting.
[0] https://en.wikipedia.org/wiki/Asm.js#Programming_languages
https://help.adobe.com/en_US/FlashPlatform/reference/actions...
And/or the documentation of AVM2, including it's instruction set.
https://archive.org/details/flash-file-format-specification-... (see page 35)
That's what I mean by implementing a language in the abstract. I don't imagine anyone would want to do that, except out of academic interest. It wouldn't be suitable for archival purposes, and those are the only practical purposes I can imagine. But that's the distinction that comes to my mind.
I have a feeling that google and duckduck do not find anything anymore, except for products.