759:
749:
739:
729:
609:
213:
259:
72:
753:
784:
266:
794:
789:
743:
53:
87:
293:
804:
139:
571:
424:
332:
57:
38:
344:
366:
102:
114:
464:
700:
559:
410:
321:
41:, described by a reporter as being regarded as "the most original new face in computer languages since
526:
440:
389:
326:
275:
690:
95:
763:
430:
252:
68:
799:
565:
617:
545:
20:
728:
722:
214:"Microsoft researcher Don Syme honored with Silver Medal from Royal Academy of Engineering"
83:
8:
298:
91:
631:
34:
30:
685:
234:
42:
201:
451:
61:
680:
531:
695:
637:
539:
169:
156:
643:
778:
373:
159:"Design and implementation of generics for the .NET Common language runtime"
661:
655:
649:
517:
401:
60:
programming language, along with others including Andrew
Kennedy and later
733:
378:
357:
64:. Kennedy, Syme and Dachuan Yu also formalized this widely used system.
239:
75:
working group on functional programming. He is a co-author of the book
182:
551:
493:
458:
284:
597:
511:
481:
435:
244:
172:"Formalization of generics for the .NET common language runtime"
577:
505:
469:
338:
229:
187:
608:
583:
499:
383:
315:
46:
487:
475:
307:
37:, Cambridge, U.K. He is the designer and architect of the
19:
For the
Australian local politician and activist, see
101:
In 2015, he was honored with a Silver Medal from the
56:, including the initial design of generics for the
776:
260:
235:InfoQ Interview with Don Syme, 27 March 2009
170:http://portal.acm.org/citation.cfm?id=964005
157:http://portal.acm.org/citation.cfm?id=378797
54:generics in the .NET Common Language Runtime
207:
267:
253:
134:
132:
130:
625:
194:
127:
777:
248:
13:
274:
14:
816:
223:
785:Programming language researchers
758:
757:
748:
747:
738:
737:
727:
607:
202:"Don Syme at Microsoft Research"
795:Australian computer scientists
790:Programming language designers
572:Logic for Computable Functions
175:
162:
149:
82:In the past he also worked on
33:and a Principal Researcher at
1:
120:
16:Australian computer scientist
103:Royal Academy of Engineering
7:
115:F Sharp Software Foundation
108:
10:
821:
67:He holds a Ph.D. from the
18:
805:Microsoft Research people
709:
616:
605:
525:
450:
399:
390:Standard ML of New Jersey
356:
306:
292:
283:
140:"Interview with Don Syme"
71:, and is a member of the
691:Christine Paulin-Mohring
240:F# at Microsoft Research
764:Category:Software:OCaml
98:description languages.
69:University of Cambridge
52:Earlier, Syme created
39:F# programming language
92:automated verification
754:Category:Family:OCaml
183:"Expert F# at Apress"
49:in the early 1980s."
21:Don Syme (politician)
723:Open-source software
84:formal specification
744:Category:Family:ML
632:Lennart Augustsson
230:Don's Weblog on F#
204:, 19 January 2010.
168:Kennedy, Syme, Yu
155:Kennedy and Syme,
146:, 19 January 2010.
35:Microsoft Research
31:computer scientist
772:
771:
686:Steven G. Johnson
676:
675:
593:
592:
452:Programming tools
420:
419:
181:Syme, Don et al.
88:interactive proof
43:Bjarne Stroustrup
29:is an Australian
812:
761:
760:
751:
750:
741:
740:
731:
623:
622:
611:
532:proof assistants
304:
303:
290:
289:
269:
262:
255:
246:
245:
217:
211:
205:
198:
192:
191:, November 2012.
179:
173:
166:
160:
153:
147:
136:
62:Anders Hejlsberg
820:
819:
815:
814:
813:
811:
810:
809:
775:
774:
773:
768:
726:
705:
681:Thierry Coquand
672:
612:
603:
589:
530:
527:Theorem provers
521:
446:
416:
395:
352:
297:
294:Implementations
279:
273:
226:
221:
220:
212:
208:
199:
195:
180:
176:
167:
163:
154:
150:
137:
128:
123:
111:
24:
17:
12:
11:
5:
818:
808:
807:
802:
797:
792:
787:
770:
769:
767:
718:
716:= discontinued
710:
707:
706:
704:
703:
701:Simon Thompson
698:
696:Frank Pfenning
693:
688:
683:
677:
674:
673:
671:
665:
659:
653:
647:
641:
638:Damien Doligez
635:
629:
627:
620:
614:
613:
606:
604:
602:
601:
594:
591:
590:
588:
587:
581:
575:
568:
563:
557:
556:
555:
543:
536:
534:
523:
522:
520:
515:
509:
503:
497:
491:
485:
479:
473:
467:
462:
456:
454:
448:
447:
445:
444:
438:
433:
428:
421:
418:
417:
415:
414:
407:
405:
397:
396:
394:
393:
387:
381:
376:
371:
362:
360:
354:
353:
351:
350:
349:
348:
342:
336:
330:
324:
312:
310:
301:
287:
281:
280:
272:
271:
264:
257:
249:
243:
242:
237:
232:
225:
224:External links
222:
219:
218:
206:
193:
174:
161:
148:
125:
124:
122:
119:
118:
117:
110:
107:
15:
9:
6:
4:
3:
2:
817:
806:
803:
801:
800:Living people
798:
796:
793:
791:
788:
786:
783:
782:
780:
766:
765:
756:
755:
746:
745:
736:
735:
730:
725:
724:
719:
717:
714:
711:
708:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
678:
669:
666:
664:(Extended ML)
663:
660:
657:
654:
652:(Caml, OCaml)
651:
648:
645:
642:
639:
636:
633:
630:
628:
624:
621:
619:
615:
610:
599:
596:
595:
585:
582:
579:
576:
574:
573:
569:
567:
564:
561:
558:
553:
550:
549:
547:
544:
541:
538:
537:
535:
533:
528:
524:
519:
516:
513:
510:
507:
504:
501:
498:
495:
492:
489:
486:
483:
480:
477:
474:
471:
468:
466:
463:
460:
457:
455:
453:
449:
442:
439:
437:
434:
432:
429:
426:
423:
422:
412:
409:
408:
406:
404:
403:
398:
391:
388:
385:
382:
380:
377:
375:
374:Concurrent ML
372:
369:
368:
364:
363:
361:
359:
355:
346:
343:
340:
337:
334:
331:
328:
325:
323:
320:
319:
317:
314:
313:
311:
309:
305:
302:
300:
295:
291:
288:
286:
282:
277:
270:
265:
263:
258:
256:
251:
250:
247:
241:
238:
236:
233:
231:
228:
227:
215:
210:
203:
197:
190:
189:
184:
178:
171:
165:
158:
152:
145:
141:
135:
133:
131:
126:
116:
113:
112:
106:
104:
99:
97:
93:
89:
85:
80:
78:
77:Expert F# 3.0
74:
70:
65:
63:
59:
55:
50:
48:
44:
40:
36:
32:
28:
22:
762:
752:
742:
732:
720:
715:
712:
667:
662:Don Sannella
656:Robin Milner
650:Xavier Leroy
570:
518:SLAM project
402:Dependent ML
400:
365:
209:
196:
186:
177:
164:
151:
143:
100:
81:
76:
66:
51:
26:
25:
644:Gérard Huet
379:Extended ML
358:Standard ML
278:programming
200:Syme, Don.
144:Simple Talk
138:Syme, Don.
779:Categories
392:° (SML/NJ)
121:References
45:developed
634:(Lazy ML)
626:Designers
618:Community
552:HOL Light
494:Marionnet
668:Don Syme
560:Isabelle
459:Alt-Ergo
299:dialects
285:Software
109:See also
27:Don Syme
713:Italics
640:(OCaml)
598:GeneWeb
512:Semgrep
482:Frama-C
436:MacroML
431:Lazy ML
425:Futhark
646:(Caml)
578:Matita
506:Poplog
470:Camlp4
465:Astrée
345:Reason
339:JoCaml
188:Apress
584:Twelf
500:MTASC
384:MLton
367:Alice
316:OCaml
96:proof
734:Book
721:° =
670:(F#)
658:(ML)
566:LEGO
488:Haxe
476:FFTW
308:Caml
94:and
73:IFIP
546:HOL
540:Coq
411:ATS
322:Eff
47:C++
781::
548:°
441:Ur
333:F#
327:F*
318:°
276:ML
185:,
142:,
129:^
105:.
90:,
86:,
79:.
58:C#
600:°
586:°
580:°
562:°
554:°
542:°
529:,
514:°
508:°
502:°
496:°
490:°
484:°
478:°
472:°
461:°
443:°
427:°
413:°
386:°
370:°
347:°
341:°
335:°
329:°
296:,
268:e
261:t
254:v
216:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.