Final Revision of “Typing Functional Stack-Based Languages”
I’ve finished the final revision of the paper Typing Functional Stack-Based Languages and submitted it to ICFP 2007Â today. The abstract was rewritten (for the umpteenth time). Hopefully it now has enough “zing” to capture the reviewer’s interests. Though many theorists have already been quick to dismiss the work, much to my chagrin. I’ve been around the block now enough.
Let me sum up the paper this way: “making stack-based languages functional in a type-safe way is easy, here’s how.”.
If anyone thinks that this isn’t important work should think about why it is that you can’t push instructions onto the stack in MSIL or JVML, and how hard it is to translate a functional language to these targets.