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. .

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ al ] [ an ] [ at ] [ b ] [ C ] [ Calc ] [ ci ] [ co ] [ cu ] [ date ] [ de ] [ du ] [ ec ] [ ed ] [ edu ] [ eS ] [ et ] [ extenSion ] [ fi ] [ field ] [ fo ] [ for ] [ h ] [ hr ] [ ie ] [ il ] [ io ] [ iS ] [ it ] [ J ] [ la ] [ lc ] [ ld ] [ li ] [ ly ] [ M ] [ ML ] [ ml ] [ mo ] [ mp ] [ N ] [ nn ] [ no ] [ nS ] [ O ] [ om ] [ pe ] [ ph ] [ Poly ] [ polymorphic ] [ POP ] [ re ] [ ru ] [ S ] [ Se ] [ Si ] [ Sm ] [ SML ] [ SML/NJ ] [ St ] [ Struct ] [ th ] [ tp ] [ tr ] [ up ] [ ve ]