uniqueness typing
type discipline where objects can only have a single reference
Facts
2 properties- Subclass of
- linear typing[1]
- Imported from
- wholeness_audit_2026-05-02
🏷️ Also known as
en uniqueness typing
ja 一意型
ru Тип, гарантирующий уникальность
zh 唯一类型
Press Enter · cited answer in seconds