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

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 ]