Jump to content

Category:Programming language theory

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Allforrous (talk | contribs) at 22:24, 31 August 2018 (Commons template.). 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)

Wikimedia Commons has media related to Programming language theory.

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=857474434"

Hidden category:

Commons category link from Wikidata