You are here: irt.org | FOLDOC | SML#
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.
(ftp://ftp.cis.upenn.edu/pub/sml#/).
Nearby terms: smilies « S-MIME « SML « SML# » sml2c » SML/NJ » SMM
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL