326:
305:
50:
248:
70:
543:
118:
548:
437:
183:
485:
200:
94:
408:
362:
261:
391:
338:
22:
490:
379:
224:
166:
466:
142:
512:
454:
374:
285:
8:
507:
442:
432:
420:
204:
47:
289:
350:
309:
252:
245:
228:
170:
146:
122:
98:
74:
17:
265:
187:
115:
54:
479:
537:
495:
403:
180:
197:
91:
221:
524:
163:
35:
This category has the following 13 subcategories, out of 13 total.
139:
325:
The following 21 pages are in this category, out of 21 total.
282:
535:
322:Pages in category "Programming language theory"
327:This list may not reflect recent changes
536:
30:
13:
331:
37:
29:
14:
560:
306:Programming language theory stubs
438:Programming Computable Functions
51:Programming language researchers
486:Side effect (computer science)
249:Programming language semantics
71:Academic programming languages
1:
544:Subfields of computer science
409:Logic of Computable Functions
363:Divergence (computer science)
119:Dependently typed programming
392:Higher-order abstract syntax
320:
7:
549:Programming language topics
339:Programming language theory
23:Programming language theory
10:
565:
491:Structured program theorem
380:Function-level programming
16:The main article for this
15:
467:Referential transparency
513:Typed assembly language
455:Qualification principle
184:Program transformation
201:Programming languages
95:Compiler construction
375:First-class function
262:Substitution (logic)
508:Turing completeness
443:Proof-carrying code
433:POPLmark challenge
421:Non-local variable
225:Rewriting systems
556:
482:
311:
291:
284:
267:
254:
247:
230:
223:
206:
199:
189:
182:
172:
167:Program analysis
165:
148:
141:
124:
117:
100:
93:
76:
56:
49:
564:
563:
559:
558:
557:
555:
554:
553:
534:
533:
532:
531:
530:
529:
517:
500:
478:
471:
459:
447:
425:
413:
396:
384:
367:
355:
351:Abstract syntax
343:
319:
318:
317:
316:
313:
312:
296:
293:
292:
281:
272:
269:
268:
256:
255:
244:
235:
232:
231:
220:
211:
208:
207:
196:
191:
190:
179:
174:
173:
162:
153:
150:
149:
143:Lambda calculus
138:
129:
126:
125:
114:
105:
102:
101:
90:
81:
78:
77:
61:
58:
57:
46:
28:
27:
12:
11:
5:
562:
552:
551:
546:
528:
527:
521:
518:
516:
515:
510:
504:
501:
499:
498:
493:
488:
483:
480:Semantic error
475:
472:
470:
469:
463:
460:
458:
457:
451:
448:
446:
445:
440:
435:
429:
426:
424:
423:
417:
414:
412:
411:
406:
400:
397:
395:
394:
388:
385:
383:
382:
377:
371:
368:
366:
365:
359:
356:
354:
353:
347:
344:
342:
341:
335:
333:
332:
323:
315:
314:
304:
303:
300:
297:
295:
294:
280:
279:
276:
273:
271:
270:
260:
259:
257:
243:
242:
239:
236:
234:
233:
219:
218:
215:
212:
210:
209:
195:
194:
192:
178:
177:
175:
161:
160:
157:
154:
152:
151:
137:
136:
133:
130:
128:
127:
113:
112:
109:
106:
104:
103:
89:
88:
85:
82:
80:
79:
69:
68:
65:
62:
60:
59:
45:
44:
41:
39:
38:
33:
9:
6:
4:
3:
2:
561:
550:
547:
545:
542:
541:
539:
526:
523:
522:
519:
514:
511:
509:
506:
505:
502:
497:
494:
492:
489:
487:
484:
481:
477:
476:
473:
468:
465:
464:
461:
456:
453:
452:
449:
444:
441:
439:
436:
434:
431:
430:
427:
422:
419:
418:
415:
410:
407:
405:
402:
401:
398:
393:
390:
389:
386:
381:
378:
376:
373:
372:
369:
364:
361:
360:
357:
352:
349:
348:
345:
340:
337:
336:
334:
330:
328:
321:
307:
302:
301:
298:
287:
283:
278:
277:
274:
263:
258:
250:
246:
241:
240:
237:
226:
222:
217:
216:
213:
205:(60 C, 158 P)
202:
198:
193:
185:
181:
176:
168:
164:
159:
158:
155:
144:
140:
135:
134:
131:
120:
116:
111:
110:
107:
96:
92:
87:
86:
83:
72:
67:
66:
63:
52:
48:
43:
42:
40:
36:
32:Subcategories
31:
25:
24:
19:
496:Syntax error
324:
290:(4 C, 113 P)
55:(1 C, 109 P)
34:
21:
404:Logic error
286:Type theory
253:(3 C, 17 P)
229:(5 C, 36 P)
171:(7 C, 22 P)
147:(3 C, 48 P)
123:(2 C, 13 P)
99:(5 C, 73 P)
538:Categories
188:(3 C, 9 P)
525:Variadic
18:category
310:(20 P)
75:(35 P)
266:(3 P)
20:is
540::
329:.
308:
288:
264:
251:
227:
203:
186:
169:
145:
121:
97:
73:
53:
520:V
503:T
474:S
462:R
450:Q
428:P
416:N
399:L
387:H
370:F
358:D
346:A
299:Σ
275:T
238:S
214:R
156:P
132:L
108:D
84:C
64:A
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.