Alexandra Silva Joost Visser Strong types for relational databases. 25-36 2006 conf/haskell/2006 Haskell http://doi.acm.org/10.1145/1159842.1159846 db/conf/haskell/haskell2006.html#SilvaV06