Jump to content

Category:Programming language theory

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Chobot (talk | contribs) at 06:29, 8 April 2013 (Bot: Migrating 8 interwiki links, now provided by Wikidata on d:Q7036022). 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, 9 P)
Programming languages (60 C, 161 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=549280354"