379:
358:
31:
455:
35:
181:
paper, which was described as "instrumental in bringing the view-update problem to the attention of the programming languages community and demonstrating the broad relevance of the problem beyond
177:
for "contributions to the theory and practice of programming languages and their type systems". In 2015 Pierce and co-authors received the award for the most influential
450:
445:
416:
435:
178:
460:
92:
242:
226:
215:
207:
57:
120:
367:
409:
186:
136:
132:
116:
47:
189:”), leading to a fruitful collaboration between the worlds of databases, programming languages, and
402:
144:
128:
124:
440:
390:
190:
167:
163:
156:
378:
8:
357:
279:
260:
185:. More broadly, the paper sparked a great deal of follow-on work in the area of BX (“
140:
293:
238:
222:
211:
112:
96:
87:
456:
University of
Pennsylvania Department of Computer and Information Science faculty
230:
152:
386:
429:
246:
363:
233:
during his PhD, he also published an introductory book on this topic—
202:
148:
348:
218:. He has also edited a collection of articles to create a second volume
317:
174:
343:
182:
30:
385:
This biographical article relating to a computer specialist is a
162:
As part of his research, Pierce has led development on several
71:
77:
Programming with
Intersection Types and Bounded Polymorphism
352:
245:. He is one of the authors of the freely available book
220:Advanced Topics in Types and Programming Languages
229:. Based on the notes he collected while learning
36:Mathematical Foundations of Programming Semantics
427:
410:
235:Basic Category Theory for Computer Scientists
417:
403:
356:
29:
135:in 1991. His research includes work on
428:
16:American professor of computer science
373:
111:is the Henry Salvatori Professor of
318:"Most Influential POPL Paper Award"
179:Principles of Programming Languages
123:and held research positions at the
13:
451:University of Pennsylvania faculty
119:. Pierce joined Penn in 1998 from
14:
472:
337:
446:Programming language researchers
377:
201:He is the author of one book on
208:Types and Programming Languages
166:projects, including the Unison
58:Types and Programming Languages
310:
286:
272:
1:
368:Mathematics Genealogy Project
266:
187:bidirectional transformations
131:. He received his Ph.D. from
436:American computer scientists
389:. You can help Knowledge by
7:
254:
38:24 (Philadelphia, May 2008)
10:
477:
372:
133:Carnegie Mellon University
117:University of Pennsylvania
48:Carnegie Mellon University
461:Computer specialist stubs
173:In 2012 Pierce became an
102:
86:
70:
63:
53:
43:
28:
21:
196:
109:Benjamin Crawford Pierce
344:Prof. Pierce's Homepage
145:distributed programming
129:University of Edinburgh
125:University of Cambridge
137:programming languages
355:Bibliography Server
280:"Benjamin C. Pierce"
248:Software Foundations
191:software engineering
168:file synchronization
164:open-source software
157:differential privacy
141:static type systems
364:Benjamin C. Pierce
349:Benjamin C. Pierce
261:POPLmark challenge
121:Indiana University
23:Benjamin C. Pierce
398:
397:
294:"Benjamin Pierce"
106:
105:
65:Scientific career
468:
419:
412:
405:
381:
374:
360:
332:
331:
329:
328:
314:
308:
307:
305:
304:
290:
284:
283:
276:
113:computer science
97:John C. Reynolds
88:Doctoral advisor
82:
33:
19:
18:
476:
475:
471:
470:
469:
467:
466:
465:
426:
425:
424:
423:
340:
335:
326:
324:
322:www.sigplan.org
316:
315:
311:
302:
300:
292:
291:
287:
278:
277:
273:
269:
257:
231:category theory
199:
153:process calculi
95:
80:
44:Alma mater
39:
24:
17:
12:
11:
5:
474:
464:
463:
458:
453:
448:
443:
438:
422:
421:
414:
407:
399:
396:
395:
382:
371:
370:
361:
346:
339:
338:External links
336:
334:
333:
309:
298:awards.acm.org
285:
270:
268:
265:
264:
263:
256:
253:
198:
195:
104:
103:
100:
99:
90:
84:
83:
74:
68:
67:
61:
60:
55:
54:Known for
51:
50:
45:
41:
40:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
473:
462:
459:
457:
454:
452:
449:
447:
444:
442:
441:Living people
439:
437:
434:
433:
431:
420:
415:
413:
408:
406:
401:
400:
394:
392:
388:
383:
380:
376:
375:
369:
365:
362:
359:
354:
350:
347:
345:
342:
341:
323:
319:
313:
299:
295:
289:
281:
275:
271:
262:
259:
258:
252:
250:
249:
244:
243:0-262-66071-7
240:
236:
232:
228:
227:0-262-16228-8
224:
221:
217:
216:0-262-16209-1
213:
210:
209:
204:
194:
192:
188:
184:
180:
176:
171:
169:
165:
160:
158:
154:
150:
149:mobile agents
146:
142:
138:
134:
130:
126:
122:
118:
114:
110:
101:
98:
94:
93:Robert Harper
91:
89:
85:
78:
75:
73:
69:
66:
62:
59:
56:
52:
49:
46:
42:
37:
32:
27:
20:
391:expanding it
384:
325:. Retrieved
321:
312:
301:. Retrieved
297:
288:
274:
247:
234:
219:
206:
203:type systems
200:
172:
161:
108:
107:
76:
64:
430:Categories
327:2019-09-10
303:2019-09-10
267:References
175:ACM Fellow
183:databases
170:utility.
255:See also
127:and the
366:at the
115:at the
241:
225:
214:
155:, and
81:(1991)
79:
72:Thesis
197:Books
387:stub
353:DBLP
239:ISBN
223:ISBN
212:ISBN
351:at
193:."
432::
320:.
296:.
251:.
237:,
205:,
159:.
151:,
147:,
143:,
139:,
418:e
411:t
404:v
393:.
330:.
306:.
282:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.