Embedding a stack language in Haskell with static type checking Thursday, October 19, 2006 Kevin Reid has been playing around with this.