Software Engineering KB
Search
Search
Dark mode
Light mode
Explorer
Tag: name
1 item with this tag.
Feb 10, 2026
Name-based Typing
type-systems
nominal
name