SML#(ID:1708/sml001)

An extension of SML/NJ with polymorphic field selection and nondestructive field update

Structures:
Related languages
SML/NJ => SML#   Extension of
References:
  • Ohori, A. "A Compilation Method for ML-style Polymorphic Record Calculi" view details
          in [ACM SIGACT-SIGPLAN] Proceedings the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '92) 1992 view details
    Resources
    • Penn repository

      "