A Type Specialisation Tutorial [chapter]

John Hughes
1999 Lecture Notes in Computer Science  
doi:10.1007/3-540-47018-2_12 fatcat:arqvjprt6jhwtbdc3bcnqnftge