Silva A, Visser J.? 2006.??Strong types for relational databases. Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (Haskell '06). :25?36.