Basic simple type theory - Hindley, J. Roger (Cambridge: Cambridge University Press, 1997)
Keywords: Programming languages (Electronic computers)