MixML

MaRDI QIDQ34403swMATHFDO

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

Described by source

• Mixin' up the ML module system

Cited in

(10)

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

This page was built for software: MixML