Category:Programming language theory

• Programming language researchers‎ (1 C, 109 P)

A

• Academic programming languages‎ (35 P)

C

• Compiler construction‎ (5 C, 73 P)

D

• Dependently typed programming‎ (2 C, 13 P)

L

• Lambda calculus‎ (3 C, 48 P)

P

• Program analysis‎ (7 C, 22 P)
• Program transformation‎ (3 C, 9 P)
• Programming languages‎ (60 C, 157 P)

R

• Rewriting systems‎ (5 C, 35 P)

S

• Programming language semantics‎ (3 C, 17 P)
• Substitution (logic)‎ (3 P)

T

• Type theory‎ (4 C, 113 P)

Σ

• Programming language theory stubs‎ (20 P)

• Programming language theory

A

• Abstract syntax

D

• Divergence (computer science)

F

• First-class function
• Function-level programming

H

• Higher-order abstract syntax

L

• Logic error
• Logic of Computable Functions

N

• Non-local variable

P

• POPLmark challenge
• Programming Computable Functions
• Proof-carrying code

Q

• Qualification principle

R

• Referential transparency

S

• Semantic error
• Side effect (computer science)
• Structured program theorem
• Syntax error

T

• Turing completeness
• Typed assembly language

V

• Variadic