대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
유형 이론
언어
주시
편집
기본 분류 >
개념
>
구조
>
수학
>
수학적 구조
>
유형 이론
이 분류에 대해서는
유형 이론
문서를 참고하십시오.
하위 분류
다음은 이 분류에 속하는 하위 분류 3개 가운데 3개입니다.
ㄷ
다형성 (컴퓨터 과학)
(1 C, 2 P)
ㅈ
자료형 체계
(1 C, 4 P)
ㅊ
추상 자료형
(11 P)
"유형 이론" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 21개 가운데 21개입니다.
유형 이론
V
Void 타입
ㄱ
값 (컴퓨터 과학)
개방-폐쇄 원칙
공변성과 반공변성 (컴퓨터 과학)
ㄷ
다형성 (컴퓨터 과학)
대수적 자료형
덕 타이핑
ㄹ
리스코프 치환 원칙
ㅂ
변수 (컴퓨터 과학)
분지 유형 이론
ㅅ
순서쌍
ㅇ
열거형
의존형
ㅈ
자료형 체계
종 (유형 이론)
ㅊ
추상 자료형
추상형
ㅋ
커리-하워드 대응
ㅌ
튜플
ㅎ
형 변환