Jump to content

Category:Programming language theory

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Luckas-bot (talk | contribs) at 18:49, 9 November 2011 (r2.7.1) (Robot: Adding ms:Kategori:Teori bahasa pengaturcaraan). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Subcategories

This category has the following 13 subcategories, out of 13 total.

Programming language researchers (1 C, 109 P)

A

Academic programming languages (35 P)

C

Compiler construction (5 C, 72 P)

D

Dependently typed programming (2 C, 13 P)

L

Lambda calculus (3 C, 48 P)

P

Program analysis (7 C, 23 P)
Program transformation (3 C, 10 P)
Programming languages (60 C, 162 P)

R

Rewriting systems (5 C, 36 P)

S

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

T

Type theory (4 C, 113 P)

Σ

Programming language theory stubs (19 P)

Pages in category "Programming language theory"

The following 21 pages are in this category, out of 21 total. This list may not reflect recent changes.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Programming_language_theory&oldid=459839943"