Tribe

swMATH23217MaRDI QIDQ35001FDOQ35001

Author name not available (Why is that?)

Cited In (4)

• Matching MyType to subtyping
• Extended feature algebra
• An algebraic foundation for automatic feature-based program synthesis
• The Essence of Dependent Object Types

This page was built for software: Tribe