Wyślij wiadomość: Type inference of the data structures manipulated by FP programs / Marwan I. Alahmadi, and William F. Appelbe.