1646:
1636:
1626:
1616:
22:
1496:
442:
in 1994, and the First
International Symposium in Sanskrit Computational Linguistics in 2007. He was coordinator of the ESPRIT European projects Logical Frameworks, then TYPES, from 1990 to 1995.
1692:
481:
1904:
1884:
1683:
1640:
50:
30:
1894:
1919:
1153:
1899:
1630:
1909:
1889:
1879:
1676:
1180:
710:
427:
123:
1874:
306:
182:
104:
762:
732:
1914:
1669:
1458:
1311:
1219:
76:
978:
942:
799:
557:
412:
1231:
1086:
1016:
419:
329:
829:
54:
46:
1253:
1043:
352:
83:
900:
893:
573:
Gérard Huet, Bernard Lang (1978). "Proving and
Applying Program Transformations Expressed with Second-Order Patterns".
286:
1351:
302:
35:
1587:
1446:
1297:
1208:
337:
321:
1146:
418:
He organized the
Institute of Logical Foundations of Functional Programming during the Year of Programming at the
277:; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at
90:
39:
1413:
1327:
1276:
1213:
1162:
458:
435:
388:
1615:
1577:
396:
253:
72:
1650:
1139:
446:
368:
1869:
1794:
1452:
450:
310:
1504:
1432:
404:
348:
290:
1864:
1609:
603:
356:
715:. International Summer School on Logic of Programming and Calculi of Discrete Design. Archived from
1185:
400:
186:
1824:
1770:
1722:
1518:
1317:
852:
648:
636:
618:
G. Huet, J.M. Hullot (Oct 1980). "Proofs by
Induction in Equational Theories with Constructors".
590:
1012:
61:
1572:
950:
Proceedings of the Fifth
International Symposium on Sanskrit Computational Linguistics, Mumbai
380:
341:
325:
245:
241:
97:
716:
1818:
1338:
844:
695:
628:
582:
537:
496:, Société d'informatique, de conseils et de recherche opérationnelle (SINCRO), Paris, 1970.
220:
513:
1830:
1704:
1567:
1418:
1020:
660:
392:
364:
273:
237:
1710:
1836:
1788:
1752:
1582:
1524:
1426:
669:
619:
477:
541:
1858:
1806:
1764:
1740:
1716:
1260:
700:
683:
632:
423:
360:
227:
881:
856:
594:
1800:
1734:
1728:
1548:
1542:
1536:
1404:
1288:
771:
741:
640:
376:
249:
528:
Gérard P. Huet (1973). "The
Undecidability of Unification in Third Order Logic".
422:
in Spring 1987. He organised the
Colloquium “Proving and Improving Programs’’ in
1782:
1776:
1265:
1244:
989:
953:
810:
372:
282:
213:
1812:
1746:
860:
848:
1047:
1842:
1438:
1380:
1126:
1082:
909:
902:
Linear
Contexts and the Sharing Functor: Techniques for Symbolic Computation
466:
1044:"The Herbrand Award for Distinguished Contributions to Automated Reasoning"
1620:
1106:
1067:
684:"A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm"
552:
506:
497:
1554:
1345:
1171:
1116:
470:
462:
431:
1661:
677:(Technical report). Stanford Univ., CS Dept. p. 52. STAN-CS-80-785.
1495:
1484:
1398:
1368:
1322:
586:
333:
162:
1464:
1392:
1356:
1225:
1470:
1386:
1270:
1202:
809:. LNCS. Vol. 1281. Springer. pp. 604–610. Archived from
439:
408:
317:
278:
1131:
1093:
1374:
1362:
1194:
734:
Induction
Principles Formalized in the Calculus of Constructions
454:
384:
196:
1665:
1135:
1068:
The
European Association for Theoretical Computer Science Award
1115:: pdf.downloadable version, regularly updated by the author:
560:, Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
383:. He led the Formel project in the 1980s, which developed the
60:
from the article and its talk page, especially if potentially
15:
521:
Proc. 3rd Int. Joint Conf. on Artificial Intelligence (IJCAI)
1031:
371:). He worked on the Mentor program editor in 1974–1977 with
281:
and mostly known for his major and seminal contributions to
979:"Design of a lean interface for Sanskrit corpus annotation"
605:
On the Uniform Halting Problem for Term Rewriting Systems
566:
Resolution d'Equations dans des Langages d'Ordre 1,2,...ω
379:–Bendix (KB) equational proof system in 1978–1984 with
549:
La Gestion des données dans les systèmes informatiques
793:. LNCS. Vol. 1103. Springer-Verlag. p. 153.
407:
in 1996. He was Head of International Relations for
1512:
1503:
1412:
1337:
1286:
1243:
1193:
1179:
1170:
764:
Residual Theory in λ-Calculus: A Formal Development
558:"A Unification Algorithm for Typed Lambda-Calculus"
233:
219:
209:
192:
178:
170:
145:
138:
621:21st Ann. Symp. on Foundations of Computer Science
551:, École supérieure d'électricité, Malakoff, 1974.
473:. He is webmaster of the Sanskrit Heritage Site.
887:. In V. Carreño and C. Muñoz and S. Tahar (ed.).
740:. North-Holland. pp. 205–216. Archived from
731:Gérard Huet (1988). K. Fuchi and M. Nivat (ed.).
445:He has made major contributions to the theory of
891:. LNCS. Vol. 2410. Springer. pp. 3–12.
889:Proceedings, 15th International Conference TPHOL
800:"Finite-state Transducers as Regular Böhm Trees"
899:Gérard Huet (2003). Fairouz Kamareddine (ed.).
770:(Technical report). INRIA. 2009. Archived from
712:Formal Structures for Computation and Deduction
503:Spécifications pour une base commune de données
1677:
1147:
8:
943:"Completeness Analysis of a Sanskrit Reader"
789:Huet, G.P. (1996). Ganzinger, Harald (ed.).
395:. He led the Coq project in the 1990s with
1684:
1670:
1662:
1509:
1190:
1176:
1154:
1140:
1132:
457:. More recently he has been a scholar on
328:. Formerly he was a visiting professor at
135:
53:about living persons that is unsourced or
1905:Members of the French Academy of Sciences
882:"Higher Order Unification 30 years later"
699:
611:(Technical report). IRIA. p. 8. 283.
124:Learn how and when to remove this message
807:Theoretical Aspects of Computer Software
791:Design Proof Assistant (invited lecture)
494:Le Projet prévision-réalisation des vols
933:
627:. Vol. 25. IEEE. pp. 96–107.
602:Gérard Huet, D.S. Lankford (Mar 1978).
1885:Case Western Reserve University alumni
656:
646:
387:programming language. He designed the
977:Gérard Huet, Pawan Goyal (Dec 2013).
941:Pawan Goyal, Gérard Huet (Jan 2013).
798:Gérard Huet, H. Laulhère (Sep 1997).
671:Equations and Rewrite Rules: A Survey
523:. William Kaufmann. pp. 139–146.
413:Zen Computational Linguistics toolkit
272:
7:
465:. In particular, he is working on
316:He is senior research director at
14:
1113:Dictionnaire Héritage du Sanscrit
568:(Ph.D.). Universite de Paris VII.
428:Conference on Automated Deduction
1895:Programming language researchers
1645:
1644:
1635:
1634:
1625:
1624:
1614:
1494:
805:. In M. Abadi and T. Ito (ed.).
668:G. Huet, D.C. Oppen (Jan 1980).
514:"A Mechanization of Type Theory"
449:and to the development of typed
20:
1920:Knights of the Legion of Honour
469:and on the formal structure of
426:in 1975, the 5th International
307:Case Western Reserve University
301:Gérard Huet graduated from the
183:Case Western Reserve University
1900:Programming language designers
1459:Logic for Computable Functions
986:Proceedings, ICON13, Hyderabad
837:Math. Struct. In Comp. Science
411:in 1996–2000. He designed the
1:
1087:Mathematics Genealogy Project
542:10.1016/s0019-9958(73)90301-x
420:University of Texas at Austin
330:Asian Institute of Technology
1910:Members of Academia Europaea
701:10.1016/0022-0000(81)90002-7
633:10.1016/0022-0000(82)90006-X
519:. In Nils J. Nilsson (ed.).
353:simply typed lambda calculus
340:, and a guest researcher at
31:biography of a living person
287:programming language theory
58:must be removed immediately
1936:
1890:French computer scientists
1880:University of Paris alumni
1105:- Sanskrit Heritage Site:
338:Carnegie Mellon University
336:, a visiting professor at
322:French Academy of Sciences
1700:
1596:
1492:
1277:Standard ML of New Jersey
1128:. Retrieved 29 July 2020.
1118:. Retrieved 29 July 2020.
1108:. Retrieved 29 July 2020.
849:10.1017/s0960129598002643
480:in 1998 and received the
459:computational linguistics
453:languages, in particular
436:Logic in Computer Science
389:calculus of constructions
259:
202:
1578:Christine Paulin-Mohring
908:. Kluwer. Archived from
761:Gérard Huet (Aug 1993).
709:Gérard Huet (May 1986).
564:Gérard Huet (Sep 1976).
397:Christine Paulin-Mohring
303:Université Denis Diderot
254:Christine Paulin-Mohring
1875:Scientists from Bourges
1651:Category:Software:OCaml
530:Information and Control
512:Gérard P. Huet (1973).
505:, SINCRO, Paris, 1971.
1032:Sanskrit Heritage Site
451:functional programming
369:constrained resolution
347:He is the author of a
45:Please help by adding
1915:Formal methods people
1641:Category:Family:OCaml
405:zipper data structure
349:unification algorithm
291:theory of computation
1610:Open-source software
880:Gérard Huet (2002).
830:"Regular Böhm Trees"
828:Gérard Huet (1998).
688:J. Comput. Syst. Sci
682:Gérard Huet (1981).
438:Symposium (LICS) in
399:, who developed the
51:Contentious material
401:Coq proof assistant
375:. He worked on the
311:Université de Paris
187:University of Paris
1631:Category:Family:ML
1519:Lennart Augustsson
1019:2008-09-12 at the
587:10.1007/bf00264598
476:Huet received the
467:Eilenberg machines
403:. He invented the
324:, and a member of
320:, a member of the
266:Gérard Pierre Huet
1852:
1851:
1659:
1658:
1573:Steven G. Johnson
1563:
1562:
1480:
1479:
1339:Programming tools
1307:
1306:
381:Jean-Marie Hullot
359:proof method for
342:SRI International
326:Academia Europaea
263:
262:
246:Jean-Marie Hullot
234:Doctoral students
204:Scientific career
134:
133:
126:
108:
34:needs additional
1927:
1686:
1679:
1672:
1663:
1648:
1647:
1638:
1637:
1628:
1627:
1618:
1510:
1498:
1419:proof assistants
1191:
1177:
1156:
1149:
1142:
1133:
1097:
1096:
1094:Official website
1070:
1065:
1059:
1058:
1056:
1055:
1046:. Archived from
1040:
1034:
1029:
1023:
1010:
1004:
1003:
1001:
1000:
994:
988:. Archived from
983:
974:
968:
967:
965:
964:
958:
952:. Archived from
947:
938:
923:
921:
920:
914:
907:
892:
886:
874:
872:
871:
865:
859:. Archived from
834:
824:
822:
821:
815:
804:
794:
785:
783:
782:
776:
769:
755:
753:
752:
746:
739:
727:
725:
724:
705:
703:
678:
676:
664:
658:
654:
652:
644:
626:
612:
610:
598:
575:Acta Informatica
569:
545:
524:
518:
276:
271:
221:Doctoral advisor
159:
155:
153:
136:
129:
122:
118:
115:
109:
107:
66:
47:reliable sources
24:
23:
16:
1935:
1934:
1930:
1929:
1928:
1926:
1925:
1924:
1855:
1854:
1853:
1848:
1696:
1690:
1660:
1655:
1613:
1592:
1568:Thierry Coquand
1559:
1499:
1490:
1476:
1417:
1414:Theorem provers
1408:
1333:
1303:
1282:
1239:
1184:
1181:Implementations
1166:
1160:
1092:
1091:
1079:
1074:
1073:
1066:
1062:
1053:
1051:
1042:
1041:
1037:
1030:
1026:
1021:Wayback Machine
1011:
1007:
998:
996:
992:
981:
976:
975:
971:
962:
960:
956:
945:
940:
939:
935:
930:
918:
916:
912:
905:
898:
884:
879:
869:
867:
863:
832:
827:
819:
817:
813:
802:
797:
788:
780:
778:
774:
767:
760:
750:
748:
744:
737:
730:
722:
720:
708:
681:
674:
667:
655:
645:
624:
617:
608:
601:
572:
563:
553:WorldCat Record
527:
516:
511:
507:WorldCat Record
498:WorldCat Record
490:
393:Thierry Coquand
365:theory of types
299:
269:
252:
248:
244:
240:
238:Thierry Coquand
226:
185:
179:Alma mater
166:
160:
157:
151:
149:
141:
130:
119:
113:
110:
67:
65:
44:
25:
21:
12:
11:
5:
1933:
1931:
1923:
1922:
1917:
1912:
1907:
1902:
1897:
1892:
1887:
1882:
1877:
1872:
1867:
1857:
1856:
1850:
1849:
1847:
1846:
1840:
1834:
1828:
1822:
1816:
1810:
1804:
1798:
1792:
1786:
1780:
1774:
1768:
1762:
1756:
1750:
1744:
1738:
1732:
1726:
1720:
1714:
1708:
1701:
1698:
1697:
1691:
1689:
1688:
1681:
1674:
1666:
1657:
1656:
1654:
1605:
1603:= discontinued
1597:
1594:
1593:
1591:
1590:
1588:Simon Thompson
1585:
1583:Frank Pfenning
1580:
1575:
1570:
1564:
1561:
1560:
1558:
1552:
1546:
1540:
1534:
1528:
1525:Damien Doligez
1522:
1516:
1514:
1507:
1501:
1500:
1493:
1491:
1489:
1488:
1481:
1478:
1477:
1475:
1474:
1468:
1462:
1455:
1450:
1444:
1443:
1442:
1430:
1423:
1421:
1410:
1409:
1407:
1402:
1396:
1390:
1384:
1378:
1372:
1366:
1360:
1354:
1349:
1343:
1341:
1335:
1334:
1332:
1331:
1325:
1320:
1315:
1308:
1305:
1304:
1302:
1301:
1294:
1292:
1284:
1283:
1281:
1280:
1274:
1268:
1263:
1258:
1249:
1247:
1241:
1240:
1238:
1237:
1236:
1235:
1229:
1223:
1217:
1211:
1199:
1197:
1188:
1174:
1168:
1167:
1161:
1159:
1158:
1151:
1144:
1136:
1130:
1129:
1119:
1109:
1102:
1101:
1098:
1089:
1078:
1077:External links
1075:
1072:
1071:
1060:
1035:
1024:
1005:
969:
932:
931:
929:
926:
925:
924:
896:
876:
875:
843:(6): 671–680.
825:
795:
786:
757:
756:
728:
706:
679:
665:
657:|journal=
614:
613:
599:
570:
561:
555:
546:
536:(3): 257–267.
525:
509:
500:
489:
486:
478:Herbrand Award
415:in 2000–2004.
298:
295:
261:
260:
257:
256:
242:François Fages
235:
231:
230:
223:
217:
216:
211:
207:
206:
200:
199:
194:
193:Known for
190:
189:
180:
176:
175:
172:
168:
167:
161:
147:
143:
142:
139:
132:
131:
114:September 2010
55:poorly sourced
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1932:
1921:
1918:
1916:
1913:
1911:
1908:
1906:
1903:
1901:
1898:
1896:
1893:
1891:
1888:
1886:
1883:
1881:
1878:
1876:
1873:
1871:
1870:Living people
1868:
1866:
1863:
1862:
1860:
1844:
1841:
1838:
1835:
1832:
1829:
1826:
1823:
1820:
1817:
1814:
1811:
1808:
1805:
1802:
1799:
1796:
1795:Papadimitriou
1793:
1790:
1787:
1784:
1781:
1778:
1775:
1772:
1769:
1766:
1763:
1760:
1757:
1754:
1751:
1748:
1745:
1742:
1739:
1736:
1733:
1730:
1727:
1724:
1721:
1718:
1715:
1712:
1709:
1706:
1703:
1702:
1699:
1694:
1687:
1682:
1680:
1675:
1673:
1668:
1667:
1664:
1653:
1652:
1643:
1642:
1633:
1632:
1623:
1622:
1617:
1612:
1611:
1606:
1604:
1601:
1598:
1595:
1589:
1586:
1584:
1581:
1579:
1576:
1574:
1571:
1569:
1566:
1565:
1556:
1553:
1551:(Extended ML)
1550:
1547:
1544:
1541:
1539:(Caml, OCaml)
1538:
1535:
1532:
1529:
1526:
1523:
1520:
1517:
1515:
1511:
1508:
1506:
1502:
1497:
1486:
1483:
1482:
1472:
1469:
1466:
1463:
1461:
1460:
1456:
1454:
1451:
1448:
1445:
1440:
1437:
1436:
1434:
1431:
1428:
1425:
1424:
1422:
1420:
1415:
1411:
1406:
1403:
1400:
1397:
1394:
1391:
1388:
1385:
1382:
1379:
1376:
1373:
1370:
1367:
1364:
1361:
1358:
1355:
1353:
1350:
1347:
1344:
1342:
1340:
1336:
1329:
1326:
1324:
1321:
1319:
1316:
1313:
1310:
1309:
1299:
1296:
1295:
1293:
1291:
1290:
1285:
1278:
1275:
1272:
1269:
1267:
1264:
1262:
1261:Concurrent ML
1259:
1256:
1255:
1251:
1250:
1248:
1246:
1242:
1233:
1230:
1227:
1224:
1221:
1218:
1215:
1212:
1210:
1207:
1206:
1204:
1201:
1200:
1198:
1196:
1192:
1189:
1187:
1182:
1178:
1175:
1173:
1169:
1164:
1157:
1152:
1150:
1145:
1143:
1138:
1137:
1134:
1127:
1125:(home page):
1124:
1120:
1117:
1114:
1110:
1107:
1104:
1103:
1099:
1095:
1090:
1088:
1084:
1081:
1080:
1076:
1069:
1064:
1061:
1050:on 2015-02-07
1049:
1045:
1039:
1036:
1033:
1028:
1025:
1022:
1018:
1014:
1009:
1006:
995:on 2014-07-14
991:
987:
980:
973:
970:
959:on 2014-07-14
955:
951:
944:
937:
934:
927:
915:on 2015-07-01
911:
904:
903:
897:
895:
890:
883:
878:
877:
866:on 2016-01-24
862:
858:
854:
850:
846:
842:
838:
831:
826:
816:on 2014-12-22
812:
808:
801:
796:
792:
787:
777:on 2015-07-01
773:
766:
765:
759:
758:
747:on 2015-07-01
743:
736:
735:
729:
719:on 2014-07-14
718:
714:
713:
707:
702:
697:
693:
689:
685:
680:
673:
672:
666:
662:
650:
642:
638:
634:
630:
623:
622:
616:
615:
607:
606:
600:
596:
592:
588:
584:
580:
576:
571:
567:
562:
559:
556:
554:
550:
547:
543:
539:
535:
531:
526:
522:
515:
510:
508:
504:
501:
499:
495:
492:
491:
487:
485:
483:
479:
474:
472:
468:
464:
460:
456:
452:
448:
443:
441:
437:
434:in 1980, the
433:
429:
425:
424:Arc-et-Senans
421:
416:
414:
410:
406:
402:
398:
394:
391:in 1984 with
390:
386:
382:
378:
374:
370:
366:
362:
358:
354:
350:
345:
343:
339:
335:
331:
327:
323:
319:
314:
312:
308:
305:(Paris VII),
304:
296:
294:
292:
288:
284:
280:
275:
274:[y.ɛ]
267:
258:
255:
251:
247:
243:
239:
236:
232:
229:
228:Maurice Nivat
224:
222:
218:
215:
212:
208:
205:
201:
198:
195:
191:
188:
184:
181:
177:
173:
169:
164:
158:(age 77)
148:
144:
137:
128:
125:
117:
106:
103:
99:
96:
92:
89:
85:
82:
78:
75: –
74:
73:"Gérard Huet"
70:
69:Find sources:
63:
59:
56:
52:
48:
42:
41:
37:
32:
27:
18:
17:
1771:Trakhtenbrot
1758:
1649:
1639:
1629:
1619:
1607:
1602:
1599:
1549:Don Sannella
1543:Robin Milner
1537:Xavier Leroy
1530:
1457:
1405:SLAM project
1289:Dependent ML
1287:
1252:
1123:DICO version
1122:
1112:
1100:Gérard Huet:
1063:
1052:. Retrieved
1048:the original
1038:
1027:
1008:
997:. Retrieved
990:the original
985:
972:
961:. Retrieved
954:the original
949:
936:
917:. Retrieved
910:the original
901:
888:
868:. Retrieved
861:the original
840:
836:
818:. Retrieved
811:the original
806:
790:
779:. Retrieved
772:the original
763:
749:. Retrieved
742:the original
733:
721:. Retrieved
717:the original
711:
694:(1): 11–21.
691:
687:
670:
620:
604:
578:
574:
565:
548:
533:
529:
520:
502:
493:
488:Publications
475:
444:
417:
346:
315:
300:
265:
264:
250:Xavier Leroy
225:George Ernst
203:
120:
111:
101:
94:
87:
80:
68:
57:
40:verification
33:
1865:1947 births
1693:EATCS Award
1531:Gérard Huet
1266:Extended ML
1245:Standard ML
1165:programming
1083:Gérard Huet
1013:Gérard Huet
482:EATCS Award
447:unification
373:Gilles Kahn
355:, and of a
289:and to the
283:type theory
214:Mathematics
171:Nationality
156:7 July 1947
140:Gérard Huet
1859:Categories
1825:Yannakakis
1279:° (SML/NJ)
1054:2015-02-07
999:2014-06-19
963:2014-06-19
928:References
919:2014-06-19
894:Postscript
870:2014-06-19
820:2014-06-19
781:2014-06-19
751:2014-06-19
723:2014-06-19
430:(CADE) in
309:, and the
152:1947-07-07
84:newspapers
1819:Henzinger
1723:Rozenberg
1695:laureates
1521:(Lazy ML)
1513:Designers
1505:Community
1439:HOL Light
1381:Marionnet
1121:- Online
659:ignored (
649:cite book
581:: 31–55.
484:in 2009.
297:Biography
36:citations
1765:Mehlhorn
1741:Paterson
1555:Don Syme
1447:Isabelle
1346:Alt-Ergo
1186:dialects
1172:Software
1017:Archived
857:15752309
595:27669838
471:Sanskrit
463:Sanskrit
432:Les Arcs
357:complete
165:, France
62:libelous
1831:Pitassi
1789:Plotkin
1753:Valiant
1729:Salomaa
1600:Italics
1527:(OCaml)
1485:GeneWeb
1399:Semgrep
1369:Frama-C
1323:MacroML
1318:Lazy ML
1312:Futhark
1085:at the
641:9214469
334:Bangkok
270:French:
163:Bourges
98:scholar
1845:(2023)
1839:(2022)
1837:Cousot
1833:(2021)
1827:(2020)
1821:(2019)
1815:(2018)
1809:(2017)
1807:Tardos
1803:(2016)
1797:(2015)
1791:(2014)
1785:(2013)
1779:(2012)
1773:(2011)
1767:(2010)
1761:(2009)
1755:(2008)
1749:(2007)
1743:(2006)
1737:(2005)
1735:Milner
1731:(2004)
1725:(2003)
1719:(2002)
1713:(2001)
1707:(2000)
1533:(Caml)
1465:Matita
1393:Poplog
1357:Camlp4
1352:Astrée
1232:Reason
1226:JoCaml
855:
639:
593:
361:Church
210:Fields
174:French
100:
93:
86:
79:
71:
1813:Nisan
1801:Kozen
1777:Vardi
1747:Scott
1717:Nivat
1471:Twelf
1387:MTASC
1271:MLton
1254:Alice
1203:OCaml
993:(PDF)
982:(PDF)
957:(PDF)
946:(PDF)
913:(PDF)
906:(PDF)
885:(PDF)
864:(PDF)
853:S2CID
833:(PDF)
814:(PDF)
803:(PDF)
775:(PDF)
768:(PDF)
745:(PDF)
738:(PDF)
675:(PDF)
637:S2CID
625:(PDF)
609:(PDF)
591:S2CID
517:(PDF)
440:Paris
409:INRIA
377:Knuth
318:INRIA
279:INRIA
105:JSTOR
91:books
29:This
1843:Fiat
1783:Dyer
1759:Huet
1711:Böhm
1705:Karp
1621:Book
1608:° =
1557:(F#)
1545:(ML)
1453:LEGO
1375:Haxe
1363:FFTW
1195:Caml
661:help
455:Caml
385:Caml
351:for
197:Caml
146:Born
77:news
38:for
1433:HOL
1427:Coq
1298:ATS
1209:Eff
845:doi
696:doi
629:doi
583:doi
538:doi
461:in
363:'s
332:in
1861::
1435:°
1328:Ur
1220:F#
1214:F*
1205:°
1163:ML
1111:-
1015:.
984:.
948:.
851:.
839:.
835:.
692:23
690:.
686:.
653::
651:}}
647:{{
635:.
589:.
579:11
577:.
534:22
532:.
344:.
313:.
293:.
285:,
154:)
49:.
1685:e
1678:t
1671:v
1487:°
1473:°
1467:°
1449:°
1441:°
1429:°
1416:,
1401:°
1395:°
1389:°
1383:°
1377:°
1371:°
1365:°
1359:°
1348:°
1330:°
1314:°
1300:°
1273:°
1257:°
1234:°
1228:°
1222:°
1216:°
1183:,
1155:e
1148:t
1141:v
1057:.
1002:.
966:.
922:.
873:.
847::
841:8
823:.
784:.
754:.
726:.
704:.
698::
663:)
643:.
631::
597:.
585::
544:.
540::
367:(
268:(
150:(
127:)
121:(
116:)
112:(
102:·
95:·
88:·
81:·
64:.
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.