Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR

Source URL: people.cs.uchicago.edu

• Data types
• Type theory
• C++
• Method
• Functional languages
• Standard ML
• C++ classes
• Algebraic data type
• Enumerated type
• Const
• Template
• Nullary constructor