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.