Dependent Types

help edit space_dashboard

A type system where types can depend on values, enabling more precise specifications and compile-time verification of program properties.

← Back to the Glossary