299:
189:
375:
336:
125:
59:
271:
380:
329:
242:
148:
322:
370:
284:
141:
49:
360:
355:
167:
163:
365:
152:
102:
206:
171:
129:
90:
238:
156:
306:
198:
97:
218:
214:
118:
349:
232:
80:
280:
298:
121:
210:
187:(1969), "The principal type-scheme of an object in combinatory logic",
202:
76:
128:. Since 1998, he has been an Honorary Research Fellow at
310:
305:
This article about a United
Kingdom mathematician is a
96:
86:
72:
55:
45:
30:
23:
155:. Later, he returned to Queen's University for a
190:Transactions of the American Mathematical Society
147:He went on to receive a Ph.D. in 1964 from the
330:
8:
237:(2nd ed.), Cambridge University Press,
337:
323:
20:
264:
126:Hindley–Milner type inference algorithm
60:Hindley–Milner type inference algorithm
144:, remaining to earn an M.Sc. in 1961.
7:
376:Alumni of Queen's University Belfast
295:
293:
309:. You can help Knowledge (XXG) by
151:, where his thesis supervisor was
14:
149:University of Newcastle upon Tyne
297:
140:Hindley graduated in 1960 from
1:
285:Mathematics Genealogy Project
170:(1966–1968), and has been at
381:British mathematician stubs
397:
292:
272:Hindley's Swansea homepage
142:Queen's University Belfast
50:Queen's University Belfast
108:
65:
234:Basic simple type theory
178:Selected publications
164:Penn State University
371:British philosophers
124:best known for the
172:Swansea University
168:Bristol University
130:Swansea University
91:Swansea University
361:British logicians
318:
317:
229:Hindley, J. Roger
185:Hindley, J. Roger
112:
111:
67:Scientific career
388:
339:
332:
325:
301:
294:
281:J. Roger Hindley
274:
269:
254:
253:
251:
221:
115:J. Roger Hindley
98:Doctoral advisor
41:
39:
25:J. Roger Hindley
21:
16:British logician
396:
395:
391:
390:
389:
387:
386:
385:
346:
345:
344:
343:
290:
277:
270:
266:
262:
249:
247:
245:
227:
203:10.2307/1995158
183:
180:
138:
117:is a prominent
46:Alma mater
37:
35:
26:
17:
12:
11:
5:
394:
392:
384:
383:
378:
373:
368:
363:
358:
348:
347:
342:
341:
334:
327:
319:
316:
315:
302:
288:
287:
276:
275:
263:
261:
258:
257:
256:
243:
224:
223:
179:
176:
137:
134:
110:
109:
106:
105:
100:
94:
93:
88:
84:
83:
74:
70:
69:
63:
62:
57:
56:Known for
53:
52:
47:
43:
42:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
393:
382:
379:
377:
374:
372:
369:
367:
364:
362:
359:
357:
356:Living people
354:
353:
351:
340:
335:
333:
328:
326:
321:
320:
314:
312:
308:
303:
300:
296:
291:
286:
282:
279:
278:
273:
268:
265:
259:
246:
244:9780521054225
240:
236:
235:
230:
226:
225:
220:
216:
212:
208:
204:
200:
196:
192:
191:
186:
182:
181:
177:
175:
173:
169:
166:(1964–1966),
165:
162:He taught at
160:
158:
154:
153:Ronald Harrop
150:
145:
143:
135:
133:
131:
127:
123:
120:
116:
107:
104:
103:Ronald Harrop
101:
99:
95:
92:
89:
85:
82:
78:
75:
71:
68:
64:
61:
58:
54:
51:
48:
44:
33:
29:
22:
19:
311:expanding it
304:
289:
267:
248:, retrieved
233:
228:
194:
188:
184:
174:since 1968.
161:
146:
139:
114:
113:
87:Institutions
66:
18:
366:1939 births
81:Type theory
350:Categories
260:References
159:in 1991.
197:: 29–60,
136:Education
231:(2008),
122:logician
283:at the
250:22 June
219:0253905
211:1995158
119:British
36: (
241:
217:
209:
73:Fields
207:JSTOR
157:D.Sc.
77:Logic
307:stub
252:2009
239:ISBN
38:1939
34:1939
31:Born
199:doi
195:146
352::
215:MR
213:,
205:,
193:,
132:.
79:,
338:e
331:t
324:v
313:.
255:.
222:.
201::
40:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.