Should ML be object-oriented (0)

by David MacQueen
Venue:Formal Aspects of Computing