papers-we-love/papers-we-love — pull request #16 by newsomc (2014-03-05 03:25:04+00:00)
Title: Adding papers in abstract interpretation, abstract machines, binary deci...

...sion trees, constrainth andling rules, constraint logic programming, continuations, datalog from swannodette's collection.