382:
319:
452:
457:
423:
171:
275:
248:
61:
366:
201:
416:
328:
197:
164:
300:
135:
193:
238:
409:
359:
79:
41:
57:
447:
157:
110:
265:
389:
204:. This typically requires run-time type checking and so is commonly used synonymously with
185:
8:
442:
75:
397:
340:
352:
271:
244:
120:
140:
130:
66:
381:
393:
336:
205:
115:
105:
70:
436:
100:
145:
332:
217:
84:
36:
22:
16:
Type system where types are associated with values and not variables
192:
refers to a type system where types are associated with
303:
313:
263:
307:
434:
236:
417:
360:
165:
424:
410:
367:
353:
172:
158:
257:
240:Computer Science Handbook, Second Edition
230:
200:. An example latently typed language is
435:
243:. Taylor & Francis. pp. 92–.
376:
291:
264:Benjamin C. Pierce (January 2002).
13:
304:
14:
469:
453:Programming language theory stubs
458:Programming language topic stubs
380:
314:{\displaystyle \Gamma \!\vdash }
237:Allen B. Tucker (28 June 2004).
267:Types and Programming Languages
1:
223:
396:. You can help Knowledge by
339:. You can help Knowledge by
7:
329:programming language theory
211:
10:
474:
375:
290:
270:. MIT Press. pp. 2–.
392:-related article is a
335:-related article is a
315:
42:Strong vs. weak typing
316:
390:programming-language
301:
186:computer programming
311:
405:
404:
348:
347:
277:978-0-262-16209-8
250:978-1-58488-360-9
182:
181:
465:
426:
419:
412:
384:
377:
369:
362:
355:
320:
318:
317:
312:
292:
282:
281:
261:
255:
254:
234:
174:
167:
160:
93:Minor categories
50:Major categories
29:General concepts
19:
18:
473:
472:
468:
467:
466:
464:
463:
462:
433:
432:
431:
430:
374:
373:
323:
322:
321:
302:
299:
298:
288:
286:
285:
278:
262:
258:
251:
235:
231:
226:
214:
178:
17:
12:
11:
5:
471:
461:
460:
455:
450:
445:
429:
428:
421:
414:
406:
403:
402:
385:
372:
371:
364:
357:
349:
346:
345:
324:
310:
306:
297:
296:
295:
284:
283:
276:
256:
249:
228:
227:
225:
222:
221:
220:
213:
210:
206:dynamic typing
180:
179:
177:
176:
169:
162:
154:
151:
150:
149:
148:
143:
138:
133:
128:
123:
118:
113:
111:Flow-sensitive
108:
103:
95:
94:
90:
89:
88:
87:
82:
73:
64:
52:
51:
47:
46:
45:
44:
39:
31:
30:
26:
25:
15:
9:
6:
4:
3:
2:
470:
459:
456:
454:
451:
449:
446:
444:
441:
440:
438:
427:
422:
420:
415:
413:
408:
407:
401:
399:
395:
391:
386:
383:
379:
378:
370:
365:
363:
358:
356:
351:
350:
344:
342:
338:
334:
330:
325:
308:
294:
293:
289:
279:
273:
269:
268:
260:
252:
246:
242:
241:
233:
229:
219:
216:
215:
209:
207:
203:
199:
195:
191:
190:latent typing
187:
175:
170:
168:
163:
161:
156:
155:
153:
152:
147:
144:
142:
139:
137:
136:Substructural
134:
132:
129:
127:
124:
122:
119:
117:
114:
112:
109:
107:
104:
102:
99:
98:
97:
96:
92:
91:
86:
83:
81:
77:
74:
72:
68:
65:
63:
59:
56:
55:
54:
53:
49:
48:
43:
40:
38:
35:
34:
33:
32:
28:
27:
24:
21:
20:
448:Type systems
398:expanding it
387:
341:expanding it
326:
287:
266:
259:
239:
232:
189:
183:
125:
121:Intersection
23:Type systems
333:type theory
218:Duck typing
85:Duck typing
37:Type safety
443:Data types
437:Categories
224:References
131:Refinement
80:structural
309:⊢
305:Γ
198:variables
106:Dependent
212:See also
196:and not
101:Abstract
71:inferred
67:Manifest
146:Session
116:Gradual
76:Nominal
62:dynamic
274:
247:
202:Scheme
194:values
141:Unique
126:Latent
58:Static
388:This
327:This
394:stub
337:stub
272:ISBN
245:ISBN
78:vs.
69:vs.
60:vs.
331:or
184:In
439::
208:.
188:,
425:e
418:t
411:v
400:.
368:e
361:t
354:v
343:.
280:.
253:.
173:e
166:t
159:v
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.