분류:유형 이론

• 유형 이론

V

• Void 타입

ㄱ

• 값 (컴퓨터 과학)
• 개방-폐쇄 원칙
• 공변성과 반공변성 (컴퓨터 과학)

ㄴ

• 널러블 타입

ㄷ

• 다형성 (컴퓨터 과학)
• 대수적 자료형
• 덕 타이핑

ㄹ

• 리스코프 치환 원칙

ㅂ

• 변수 (컴퓨터 과학)
• 분지 유형 이론

ㅅ

• 순서쌍

ㅇ

• 열거형
• 옵션 타입
• 의존형

ㅈ

• 자료형 체계
• 재귀 자료형
• 종 (유형 이론)

ㅊ

• 추상 자료형
• 추상형

ㅋ

• 커리-하워드 대응

ㅌ

• 타입 클래스
• 튜플

ㅎ

• 형 변환