54:
21:
38:
313:
28:
298:
308:
155:
102:
196:
191:
237:
242:
64:
303:
126:
131:
274:
264:
252:
247:
225:
143:
114:
76:
60:
220:
208:
167:
292:
269:
179:
84:
279:
68:
53:
20:
101:
The following 20 pages are in this category, out of 20 total.
48:
15:
98:
Pages in category "Programming language theory stubs"
8:
36:propose new stub templates and categories
103:This list may not reflect recent changes
73:To add an article to this category, use
7:
107:
95:
71:. You can help by expanding them.
14:
314:Programming language topic stubs
156:Fluent (artificial intelligence)
52:
19:
26:This category is maintained by
197:Orthogonality (term rewriting)
1:
238:Semantic analysis (compilers)
299:Programming language theory
243:Stream (abstract data type)
65:programming language theory
330:
192:Option–operand separation
309:Mathematical logic stubs
29:WikiProject Stub sorting
127:Container (type theory)
59:This category is for
132:Convergence (logic)
275:Typing environment
265:Type inhabitation
253:Syntactic closure
248:Subject reduction
226:Reflexive closure
144:Efferent coupling
115:Template:Plt-stub
93:
92:
47:
46:
321:
88:
80:
56:
49:
43:before creation.
23:
16:
329:
328:
324:
323:
322:
320:
319:
318:
304:Stub categories
289:
288:
287:
286:
285:
284:
257:
230:
221:Refinement type
213:
201:
184:
172:
160:
148:
136:
119:
94:
82:
74:
72:
33:
12:
11:
5:
327:
325:
317:
316:
311:
306:
301:
291:
290:
283:
282:
277:
272:
267:
261:
258:
256:
255:
250:
245:
240:
234:
231:
229:
228:
223:
217:
214:
212:
211:
209:Principal type
205:
202:
200:
199:
194:
188:
185:
183:
182:
176:
173:
171:
170:
168:Jump threading
164:
161:
159:
158:
152:
149:
147:
146:
140:
137:
135:
134:
129:
123:
120:
118:
117:
111:
109:
108:
99:
96:
91:
90:
57:
45:
44:
24:
13:
10:
9:
6:
4:
3:
2:
326:
315:
312:
310:
307:
305:
302:
300:
297:
296:
294:
281:
278:
276:
273:
271:
270:Type variable
268:
266:
263:
262:
259:
254:
251:
249:
246:
244:
241:
239:
236:
235:
232:
227:
224:
222:
219:
218:
215:
210:
207:
206:
203:
198:
195:
193:
190:
189:
186:
181:
180:Latent typing
178:
177:
174:
169:
166:
165:
162:
157:
154:
153:
150:
145:
142:
141:
138:
133:
130:
128:
125:
124:
121:
116:
113:
112:
110:
106:
104:
97:
86:
78:
70:
66:
62:
61:stub articles
58:
55:
51:
50:
42:
41:
40:
31:
30:
25:
22:
18:
17:
100:
87:}}
83:{{
79:}}
75:{{
63:relating to
37:
35:
27:
280:Typing rule
81:instead of
69:type theory
293:Categories
77:plt-stub
34:Please
85:stub
39:here
67:or
295::
105:.
260:T
233:S
216:R
204:P
187:O
175:L
163:J
151:F
139:E
122:C
89:.
32:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.