We write a bytecode VM for arithmetic in Haskell.| abhinavsarkar.net
Programming style in which control is passed explicitly| en.wikipedia.org