इसका टेक्स्ट मैसेज भेजे: Qualified types : theory and practice / Mark P. Jones.