Lambda the Ultimate

It would be of great interest to me to learn how to write a good paper for introducing a programming language formally (or at least semi-formally) which would be acceptable for publication in a reputable journal. Are there any tutorials, or good examples anyone can recommend I should follow as a template?

I also wonder if it is expected that every new programming language paper be accompanied by a proof of the soundness/unsoundness of the type system, or if I can by leaving that for another time (and perhaps another more capable person)?

Just introducing the basic semantics of the language with some rigour is in of itself a pretty signficiant challenge, considering that I have to resort to some pretty heavy techniques (for me at least) to describe the Cat type system (e.g. kind systems, parameteric polymorphism).