@vanja You might enjoy these if you're still considering it:
https://prl.khoury.northeastern.edu/blog/static/stack-languages-talk-notes.pdf
https://www2.ccs.neu.edu/racket/pubs/dissertation-kleffner.pdf
http://joypy.osdn.io/notebooks/Types.html
If you decide to target Uxn, lemme know if you need a hand, I'll be happy to help. :)
@neauoire So I've decided to continue working on it. Do you have an explanation of the encoding of instructions in uxn? I found https://wiki.xxiivv.com/site/uxntal_reference.html#opcodes, but I don't understand it. What I'm trying to do first is making an emitter for the opcodes before I start working on the language itself. (If just an emitter already exist for C, I'd be happy to use that)