An extension of SML/NJ with polymorphic field selection and

nondestructive field update. "A Compilation Method for

ML-style Polymorphic Record Calculi", A. Ohori, POPL 1992.