1ML

swMATH19983MaRDI QIDQ31806FDOQ31806

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• 1ML – Core and modules united
• 1ML with Special Effects
• The Essence of Dependent Object Types

This page was built for software: 1ML