결정가능한 유형에 대한 전략적 유형 이론

전략적 유형 이론(StraTT)은 유형 계층 대신 유형 판단을 계층화하여 일관성을 유지합니다. 이를 통해 유형 내 유형 규칙과 함께 종속 함수를 지원할 수 있습니다.