SML# 0.20 has been released. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.