cdbi: Type-safe database programming

This package contains libraries to support type-safe database programming. This paper contains a description of the basic ideas behind these libraries.

Usually, it is not necessary to use these libraries directly. Instead, one can use the Curry preprocessor to formulate type-safe SQL queries which are translated into calls to these libraries.