Maintaining Database Integrity with Refinement Types.

Ioannis G. Baltopoulos, Johannes Borgstrm, Andrew D. Gordon

Browse the full ECOOP paper archive.