First-class structures for standard ML

MaRDI QIDQ2729059zbMATH OpenFDO

Authors Claudio Russo

Publication date 6 November 2001

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• First-class structures for standard ML
• 1ML -- core and modules united
• 1ML -- core and modules united (F-ing first-class modules)
• Types for modules
• Recursive structures for standard ML

Cited in

(8)

• Path resolution for nested recursive modules
• Types for modules
• First-class structures for standard ML
• 1ML -- core and modules united (F-ing first-class modules)
• 1ML -- core and modules united
• Recursive structures for standard ML
• First-class contexts in ML
• Extensible programming with first-class cases

This page was built for publication: First-class structures for standard ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729059)