ACM Press
ACM SIGPLAN Haskell Workshop
Computer Security

Silva, A.& Visser, J. (2006). Strong types for relational databases. Proceedings of ACM SIGPLAN Workshop on Haskell 2006, 25–36.