MixML

swMATH22612MaRDI QIDQ34403FDOQ34403

Author name not available (Why is that?)

Official website: https://people.mpi-sws.org/~rossberg/mixml/

Described by source

• Mixin' up the ML module system

Cited In (10)

• The essence of dependent object types
• 1ML with special effects. F-ing generativity polymorphism
• Path resolution for nested recursive modules
• 1ML
• Backpack
• Dotty
• HMap
• Tribe
• 1ML -- core and modules united
• Backpack, retrofitting Haskell with interfaces

This page was built for software: MixML