1ML

swMATH19983MaRDI QIDQ31806FDOQ31806

Author name not available (Why is that?)

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

Described by source

• 1ML -- core and modules united (F-ing first-class modules)

Cited In (7)

• The essence of dependent object types
• 1ML with special effects. F-ing generativity polymorphism
• MixML
• Dotty
• HMap
• Tribe
• 1ML -- core and modules united

This page was built for software: 1ML