I want to implement an imperative language interpreter in Haskell (for educational purposes). But it\'s difficult for me to create right architecture for my interpreter: How
A couple of good papers I've finally found: