179:
907:
191:
32:
158:
902:
897:
836:
452:
802:
260:
622:
595:
570:
548:
472:
245:
755:
270:
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:
797:
447:
334:
506:
24:
770:
383:
8:
649:
671:
661:
403:
373:
329:
218:
16:
856:
851:
814:
760:
686:
430:
265:
255:
250:
703:
627:
585:
420:
324:
213:
46:
37:
28:
866:
740:
735:
632:
538:
528:
501:
496:
425:
368:
162:
878:
792:
787:
750:
720:
715:
698:
676:
666:
644:
600:
575:
543:
393:
378:
344:
339:
302:
292:
240:
223:
467:
891:
861:
841:
831:
819:
617:
590:
565:
560:
518:
398:
388:
356:
319:
307:
287:
203:
846:
725:
580:
533:
523:
484:
415:
275:
208:
730:
681:
435:
297:
235:
745:
462:
457:
612:
775:
765:
178:
The following 109 pages are in this category, out of 109 total.
175:
Pages in category "Programming language researchers"
146:This category has only the following subcategory.
889:
39:
908:Computer scientists by field of research
192:List of programming language researchers
180:This list may not reflect recent changes
33:Category:Programming language designers
890:
837:John Wainwright (computer scientist)
141:
13:
453:Robert Harper (computer scientist)
184:
148:
140:
14:
919:
803:David Turner (computer scientist)
261:Richard Bird (computer scientist)
623:Greg Nelson (computer scientist)
596:Roger Moore (computer scientist)
571:Erik Meijer (computer scientist)
549:Peter Lucas (computer scientist)
473:John Hughes (computer scientist)
246:Henry Baker (computer scientist)
19:doing research in the fields of
756:George Springer (mathematician)
271:Jim Brown (computer scientist)
1:
159:Logic programming researchers
173:
7:
903:Programming language theory
898:Programming language topics
21:programming language theory
10:
924:
798:Simon Thompson (professor)
448:Charles Leonard Hamblin
335:Christophe de Dinechin
507:Shriram Krishnamurthi
25:compiler construction
771:Christopher Strachey
650:Richard O'Keefe
384:Robert Bruce Findler
17:Computer scientists
672:Benjamin C. Pierce
662:Simon Peyton Jones
404:Daniel P. Friedman
374:Matthias Felleisen
330:Edsger W. Dijkstra
219:Lennart Augustsson
857:Richard Wexelblat
852:Stephanie Weirich
815:Maarten van Emden
761:Guy L. Steele Jr.
687:Robin Popplestone
431:Bernard Greenberg
266:Per Brinch Hansen
256:Rudolf Berghammer
251:Mordechai Ben-Ari
915:
704:John C. Reynolds
628:Oscar Nierstrasz
586:John C. Mitchell
421:Andrew D. Gordon
325:Frederica Darema
214:Krzysztof R. Apt
164:
29:program analysis
923:
922:
918:
917:
916:
914:
913:
912:
888:
887:
886:
885:
884:
883:
871:
867:Stephen Wolfram
824:
807:
780:
741:John M. Scholes
736:Gunther Schmidt
708:
691:
654:
637:
633:Kristen Nygaard
605:
553:
539:Karl Lieberherr
529:John Launchbury
511:
502:Gregor Kiczales
497:Gabriele Keller
489:
477:
440:
426:Susan L. Graham
408:
369:Richard Fateman
361:
349:
312:
280:
228:
196:
172:
171:
170:
169:
166:
165:
139:
138:
137:
136:
42:
12:
11:
5:
921:
911:
910:
905:
900:
882:
881:
879:Andrey Yershov
875:
872:
870:
869:
864:
859:
854:
849:
844:
839:
834:
828:
825:
823:
822:
817:
811:
808:
806:
805:
800:
795:
793:Tim Teitelbaum
790:
788:Cynbe ru Taren
784:
781:
779:
778:
773:
768:
763:
758:
753:
751:Michael Spivey
748:
743:
738:
733:
728:
723:
721:Klaus Samelson
718:
716:Peter H. Salus
712:
709:
707:
706:
701:
699:Thomas W. Reps
695:
692:
690:
689:
684:
679:
677:Gordon Plotkin
674:
669:
667:Frank Pfenning
664:
658:
655:
653:
652:
647:
645:Martin Odersky
641:
638:
636:
635:
630:
625:
620:
615:
609:
606:
604:
603:
601:Greg Morrisett
598:
593:
588:
583:
578:
576:Bertrand Meyer
573:
568:
563:
557:
554:
552:
551:
546:
544:Barbara Liskov
541:
536:
531:
526:
521:
515:
512:
510:
509:
504:
499:
493:
490:
488:
487:
481:
478:
476:
475:
470:
465:
460:
455:
450:
444:
441:
439:
438:
433:
428:
423:
418:
412:
409:
407:
406:
401:
396:
394:Pat Fothergill
391:
386:
381:
379:Wally Feurzeig
376:
371:
365:
362:
360:
359:
353:
350:
348:
347:
345:R. Kent Dybvig
342:
340:Damien Doligez
337:
332:
327:
322:
316:
313:
311:
310:
305:
303:Patrick Cousot
300:
295:
293:Craig Chambers
290:
284:
281:
279:
278:
273:
268:
263:
258:
253:
248:
243:
241:David F. Bacon
238:
232:
229:
227:
226:
224:Marc Auslander
221:
216:
211:
206:
200:
197:
195:
194:
188:
186:
185:
176:
168:
167:
157:
156:
153:
150:
149:
144:
135:
134:
54:
49:
43:
41:
38:
36:
9:
6:
4:
3:
2:
920:
909:
906:
904:
901:
899:
896:
895:
893:
880:
877:
876:
873:
868:
865:
863:
862:Niklaus Wirth
860:
858:
855:
853:
850:
848:
845:
843:
842:Mitchell Wand
840:
838:
835:
833:
832:Philip Wadler
830:
829:
826:
821:
820:Martin Vechev
818:
816:
813:
812:
809:
804:
801:
799:
796:
794:
791:
789:
786:
785:
782:
777:
774:
772:
769:
767:
764:
762:
759:
757:
754:
752:
749:
747:
744:
742:
739:
737:
734:
732:
729:
727:
724:
722:
719:
717:
714:
713:
710:
705:
702:
700:
697:
696:
693:
688:
685:
683:
680:
678:
675:
673:
670:
668:
665:
663:
660:
659:
656:
651:
648:
646:
643:
642:
639:
634:
631:
629:
626:
624:
621:
619:
618:George Necula
616:
614:
611:
610:
607:
602:
599:
597:
594:
592:
591:David A. Moon
589:
587:
584:
582:
579:
577:
574:
572:
569:
567:
566:Conor McBride
564:
562:
561:Harry Mairson
559:
558:
555:
550:
547:
545:
542:
540:
537:
535:
532:
530:
527:
525:
522:
520:
519:Monica S. Lam
517:
516:
513:
508:
505:
503:
500:
498:
495:
494:
491:
486:
483:
482:
479:
474:
471:
469:
466:
464:
461:
459:
456:
454:
451:
449:
446:
445:
442:
437:
434:
432:
429:
427:
424:
422:
419:
417:
414:
413:
410:
405:
402:
400:
399:Michael Franz
397:
395:
392:
390:
389:Matthew Flatt
387:
385:
382:
380:
377:
375:
372:
370:
367:
366:
363:
358:
357:Dawson Engler
355:
354:
351:
346:
343:
341:
338:
336:
333:
331:
328:
326:
323:
321:
320:Olivier Danvy
318:
317:
314:
309:
308:Radhia Cousot
306:
304:
301:
299:
296:
294:
291:
289:
288:Luca Cardelli
286:
285:
282:
277:
274:
272:
269:
267:
264:
262:
259:
257:
254:
252:
249:
247:
244:
242:
239:
237:
234:
233:
230:
225:
222:
220:
217:
215:
212:
210:
207:
205:
204:Frances Allen
202:
201:
198:
193:
190:
189:
187:
183:
181:
174:
160:
155:
154:
151:
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:
847:Peter Wegner
726:Don Sannella
581:Robin Milner
534:Xavier Leroy
524:Peter Landin
485:Jean Ichbiah
416:Carlo Ghezzi
276:Rod Burstall
209:Andrew Appel
177:
145:
31:. See also,
15:
731:David Sayre
682:Amir Pnueli
468:Gérard Huet
436:David Gries
298:James Cordy
236:John Backus
892:Categories
746:Dana Scott
463:Paul Hudak
458:Tony Hoare
613:Ike Nassi
40:Contents
776:Don Syme
766:Joe Stoy
163:(16 P)
27:and
52:0–9
47:Top
894::
182:.
161:
23:,
874:Y
827:W
810:V
783:T
711:S
694:R
657:P
640:O
608:N
556:M
514:L
492:K
480:I
443:H
411:G
364:F
352:E
315:D
283:C
231:B
199:A
152:L
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.