Standard ML Weak Polymorphism Can Be Sound (1993)

by John Greiner
Venue:SUBMITTED TO JFP
Citations:9 - 0 self