Adding papers in abstract interpretation, abstract machines, binary deci...

...sion trees, constraint handling rules, constraint logic programming, continuations, datalog and haskell from swannodette's collection.