178:
149:
775:
195:
189:
800:
32:
163:
795:
790:
724:
340:
690:
510:
483:
458:
436:
360:
643:
131:
128:
125:
122:
119:
116:
113:
110:
107:
104:
101:
98:
95:
92:
89:
86:
83:
80:
77:
74:
71:
68:
65:
62:
59:
56:
51:
20:
685:
335:
222:
394:
24:
658:
271:
8:
537:
559:
549:
291:
261:
217:
16:
744:
739:
702:
648:
574:
318:
591:
515:
473:
308:
212:
46:
37:
28:
754:
628:
623:
520:
426:
416:
389:
384:
313:
256:
167:
766:
680:
675:
638:
608:
603:
586:
564:
554:
532:
488:
463:
431:
281:
266:
232:
227:
355:
784:
749:
729:
719:
707:
505:
478:
453:
448:
406:
286:
276:
244:
207:
734:
613:
468:
421:
411:
372:
303:
618:
569:
323:
633:
350:
345:
500:
663:
653:
188:
The following 89 pages are in this category, out of 109 total.
185:
Pages in category "Programming language researchers"
146:This category has only the following subcategory.
782:
39:
801:Computer scientists by field of research
190:This list may not reflect recent changes
33:Category:Programming language designers
783:
725:John Wainwright (computer scientist)
141:
13:
341:Robert Harper (computer scientist)
199:
153:
140:
14:
812:
691:David Turner (computer scientist)
511:Greg Nelson (computer scientist)
484:Roger Moore (computer scientist)
459:Erik Meijer (computer scientist)
437:Peter Lucas (computer scientist)
361:John Hughes (computer scientist)
19:doing research in the fields of
644:George Springer (mathematician)
1:
164:Logic programming researchers
183:
7:
796:Programming language theory
791:Programming language topics
21:programming language theory
10:
817:
686:Simon Thompson (professor)
336:Charles Leonard Hamblin
223:Christophe de Dinechin
395:Shriram Krishnamurthi
25:compiler construction
659:Christopher Strachey
538:Richard O'Keefe
272:Robert Bruce Findler
17:Computer scientists
560:Benjamin C. Pierce
550:Simon Peyton Jones
292:Daniel P. Friedman
262:Matthias Felleisen
218:Edsger W. Dijkstra
745:Richard Wexelblat
740:Stephanie Weirich
703:Maarten van Emden
649:Guy L. Steele Jr.
575:Robin Popplestone
319:Bernard Greenberg
808:
592:John C. Reynolds
516:Oscar Nierstrasz
474:John C. Mitchell
309:Andrew D. Gordon
213:Frederica Darema
169:
29:program analysis
816:
815:
811:
810:
809:
807:
806:
805:
781:
780:
779:
773:
772:
771:
759:
755:Stephen Wolfram
712:
695:
668:
629:John M. Scholes
624:Gunther Schmidt
596:
579:
542:
525:
521:Kristen Nygaard
493:
441:
427:Karl Lieberherr
417:John Launchbury
399:
390:Gregor Kiczales
385:Gabriele Keller
377:
365:
328:
314:Susan L. Graham
296:
257:Richard Fateman
249:
237:
182:
176:
175:
174:
171:
170:
139:
138:
137:
136:
42:
12:
11:
5:
814:
804:
803:
798:
793:
778:) (next page)
770:
769:
767:Andrey Yershov
763:
760:
758:
757:
752:
747:
742:
737:
732:
727:
722:
716:
713:
711:
710:
705:
699:
696:
694:
693:
688:
683:
681:Tim Teitelbaum
678:
676:Cynbe ru Taren
672:
669:
667:
666:
661:
656:
651:
646:
641:
639:Michael Spivey
636:
631:
626:
621:
616:
611:
609:Klaus Samelson
606:
604:Peter H. Salus
600:
597:
595:
594:
589:
587:Thomas W. Reps
583:
580:
578:
577:
572:
567:
565:Gordon Plotkin
562:
557:
555:Frank Pfenning
552:
546:
543:
541:
540:
535:
533:Martin Odersky
529:
526:
524:
523:
518:
513:
508:
503:
497:
494:
492:
491:
489:Greg Morrisett
486:
481:
476:
471:
466:
464:Bertrand Meyer
461:
456:
451:
445:
442:
440:
439:
434:
432:Barbara Liskov
429:
424:
419:
414:
409:
403:
400:
398:
397:
392:
387:
381:
378:
376:
375:
369:
366:
364:
363:
358:
353:
348:
343:
338:
332:
329:
327:
326:
321:
316:
311:
306:
300:
297:
295:
294:
289:
284:
282:Pat Fothergill
279:
274:
269:
267:Wally Feurzeig
264:
259:
253:
250:
248:
247:
241:
238:
236:
235:
233:R. Kent Dybvig
230:
228:Damien Doligez
225:
220:
215:
210:
204:
201:
200:
186:
181:) (next page)
173:
172:
162:
161:
158:
155:
154:
144:
135:
134:
54:
49:
43:
41:
38:
36:
9:
6:
4:
3:
2:
813:
802:
799:
797:
794:
792:
789:
788:
786:
777:
776:previous page
768:
765:
764:
761:
756:
753:
751:
750:Niklaus Wirth
748:
746:
743:
741:
738:
736:
733:
731:
730:Mitchell Wand
728:
726:
723:
721:
720:Philip Wadler
718:
717:
714:
709:
708:Martin Vechev
706:
704:
701:
700:
697:
692:
689:
687:
684:
682:
679:
677:
674:
673:
670:
665:
662:
660:
657:
655:
652:
650:
647:
645:
642:
640:
637:
635:
632:
630:
627:
625:
622:
620:
617:
615:
612:
610:
607:
605:
602:
601:
598:
593:
590:
588:
585:
584:
581:
576:
573:
571:
568:
566:
563:
561:
558:
556:
553:
551:
548:
547:
544:
539:
536:
534:
531:
530:
527:
522:
519:
517:
514:
512:
509:
507:
506:George Necula
504:
502:
499:
498:
495:
490:
487:
485:
482:
480:
479:David A. Moon
477:
475:
472:
470:
467:
465:
462:
460:
457:
455:
454:Conor McBride
452:
450:
449:Harry Mairson
447:
446:
443:
438:
435:
433:
430:
428:
425:
423:
420:
418:
415:
413:
410:
408:
407:Monica S. Lam
405:
404:
401:
396:
393:
391:
388:
386:
383:
382:
379:
374:
371:
370:
367:
362:
359:
357:
354:
352:
349:
347:
344:
342:
339:
337:
334:
333:
330:
325:
322:
320:
317:
315:
312:
310:
307:
305:
302:
301:
298:
293:
290:
288:
287:Michael Franz
285:
283:
280:
278:
277:Matthew Flatt
275:
273:
270:
268:
265:
263:
260:
258:
255:
254:
251:
246:
245:Dawson Engler
243:
242:
239:
234:
231:
229:
226:
224:
221:
219:
216:
214:
211:
209:
208:Olivier Danvy
206:
205:
202:
198:) (next page)
197:
196:previous page
193:
191:
184:
180:
179:previous page
165:
160:
159:
156:
152:) (next page)
151:
150:previous page
147:
143:Subcategories
142:
133:
130:
127:
124:
121:
118:
115:
112:
109:
106:
103:
100:
97:
94:
91:
88:
85:
82:
79:
76:
73:
70:
67:
64:
61:
58:
55:
53:
50:
48:
45:
44:
35:
34:
30:
26:
22:
18:
735:Peter Wegner
614:Don Sannella
469:Robin Milner
422:Xavier Leroy
412:Peter Landin
373:Jean Ichbiah
304:Carlo Ghezzi
187:
145:
31:. See also,
15:
619:David Sayre
570:Amir Pnueli
356:Gérard Huet
324:David Gries
785:Categories
634:Dana Scott
351:Paul Hudak
346:Tony Hoare
501:Ike Nassi
40:Contents
664:Don Syme
654:Joe Stoy
168:(16 P)
27:and
52:0–9
47:Top
787::
192:.
166:
23:,
774:(
762:Y
715:W
698:V
671:T
599:S
582:R
545:P
528:O
496:N
444:M
402:L
380:K
368:I
331:H
299:G
252:F
240:E
203:D
194:(
177:(
157:L
148:(
132:Z
129:Y
126:X
123:W
120:V
117:U
114:T
111:S
108:R
105:Q
102:P
99:O
96:N
93:M
90:L
87:K
84:J
81:I
78:H
75:G
72:F
69:E
66:D
63:C
60:B
57:A
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.