Sam Lindley Philip Wadler The Audacity of Hope: Thoughts on Reclaiming the Database Dream. 1 2010 ESOP http://dx.doi.org/10.1007/978-3-642-11957-6_1 conf/esop/2010 db/conf/esop/esop2010.html#LindleyW10