@neauoire Yes & no?! 🤷‍♂️ Typed concatenative research is somewhat on my radar, but not following actively. Here're a few more from my notes & inbox:

Jon Purdy (author of https://kittenlang.org - also typed concatenative) gave a great talk "From Ivory to Metal" some years ago, still one of my faves about the topic:

https://www.youtube.com/watch?v=_IgqJr8jG8M

Also their previous research:
http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html

Other interesting approaches and/or impls:

https://hackerfoo.com/posts/popr-tutorial-0-dot-machines.html (multipart blog tutorial/posts)

https://digitalcommons.usmalibrary.org/usma_research_papers/508/

https://hashingit.com/elements/research-resources/2008-04-20-simple-type-inference.pdf
(also by same author: https://github.com/cdiggins/cat-language)

Robert Kleffner (OP author in cited above) is working on a new lang too:

https://github.com/glossopoeia/boba

Hth! :)