Jump to content

Category:Programming language theory

From English Wikipedia @ Freddythechick

Wikimedia Commons has media related to Programming language theory.

Subcategories

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

A

Academic programming languages

C

Compiler construction

D

Dependently typed programming

P

R

Rewriting systems

S

Substitution (logic)

Σ

Programming language theory stubs

Pages in category "Programming language theory"

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

A

Abstract syntax

D

Divergence (computer science)

F

Function-level programming

H

Higher-order abstract syntax

L

Logic of Computable Functions

N

Non-local variable

R

Referential transparency

S

T

V

Variadic

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Category:Programming_language_theory&oldid=16880308"