범주:프로그래밍 언어 이론

• 프로그래밍 언어 연구자(1C, 99P)

A

• 학술 프로그래밍 언어(34P)

C

• 컴파일러 구조(5C, 72P)

D

• 종속적으로 입력된 프로그래밍(2C, 12P)

L

• 람다 미적분(3 C, 51 P)

P

• 프로그램 분석(6 C, 22 P)
• 프로그램 변환(3 C, 9 P)
• 프로그래밍 언어(58 C, 149 P)

R

• 시스템 재작성(5C, 34P)

S

• 프로그래밍 언어 의미론(3C, 16P)
• 치환(논리)(3 P)

T

• 유형 이론(4C, 112P)

Σ

• 프로그래밍 언어 이론 스텁(21P)

• 프로그래밍 언어 이론

A

• 추상 구문

D

• 다이버전스 (컴퓨터 과학)

F

• 제1종 함수
• 기능 수준 프로그래밍

H

• 고차 추상 구문

L

• 논리 오류
• 계산 가능한 함수의 논리

N

• 비로컬 변수

P

• POPL마크 챌린지
• 계산 가능한 함수 프로그래밍
• 증명-반송코드

Q

• 자격원칙

R

• 참조 투명도

S

• 의미 오차
• 부작용(컴퓨터 과학)
• 구조화 프로그램 정리
• 구문 오류

T

• 튜링 완성도
• 입력된 어셈블리 언어

V

• 변사체