An anecdote about ml type inference. Unpublished Manuscript (1992)

by A Koenig