1ML

MaRDI QIDQ31806swMATHFDO

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