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.

Download

Checkout with CPM:

cypm checkout cdbi 2.0.0

Package source:

cdbi-2.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/cdbi.git