Philip Wadler
-
Maintaining database integrity with refinement types
Proceedings of the 25th European conference on Object-oriented programming