Tribe
From MaRDI portal
Software:35001
No author found.
Related Items (4)
Extended feature algebra ⋮ The Essence of Dependent Object Types ⋮ Matching MyType to subtyping ⋮ An algebraic foundation for automatic feature-based program synthesis
This page was built for software: Tribe
