Susumu Hayashi
-
Type reconstruction for general refinement types
ESOP'07 Proceedings of the 16th European conference on Programming