[stack] Concatenative Research

Hello. Is this forum still alive? I haven't shown my head here for a couple of years. I'm a MA/CS major with an ongoing interest in giving concatenative languages a firmer mathematical foundation. I have a few partial results: (i) an operational semantics, (ii) a concept of & application for homomorphisms, (iii) a type system. Is anyone else around here interested in this sort of research? Here's a link to my (ongoing) work,

http://dl.dropbox.com/u/17328602/concat/index.html