1987], "A type checker," in The implementation of functional programming languages (0)

by P Hancock