A foundation for typed concatenative languages, Robert Kleffner (thanks @and!)
https://repository.library.northeastern.edu/files/neu:4f186p17k/fulltext.pdf
A foundation for typed concatenative languages, Robert Kleffner (thanks @and!)
https://repository.library.northeastern.edu/files/neu:4f186p17k/fulltext.pdf