1354:
894:
879:
1540:
1530:
1520:
835:
1575:
188:
1580:
921:
1534:
1595:
1605:
1600:
1585:
233:
with James McKinna. Several of their articles, including the joint-written article defining the
Epigram language, have been published in the
1590:
177:
97:
948:
425:
196:
1418:
394:
235:
1463:
1438:
149:
230:
1448:
1270:
1080:
874:
1112:
1065:
1045:
987:
907:
914:
1408:
1120:
1058:
1027:
1488:
1051:
1544:
1101:
153:
101:
1353:
1332:
1307:
972:
662:
114:
523:
281:
1244:
165:
62:
1570:
574:
440:
296:
192:
184:
1519:
1378:
1256:
1565:
1513:
1250:
200:
157:
455:
301:
1148:
1015:
966:
770:
445:
1468:
1413:
1368:
1294:
1033:
992:
818:
494:
314:
258:
421:
173:
93:
1428:
1206:
1189:
1157:
978:
953:
808:
714:
680:
636:
486:
370:
342:
306:
268:
79:
51:
1443:
1195:
1181:
1164:
1088:
893:
878:
515:
Proceedings of the 6th
International Conference on Typed Lambda Calculi and Applications
1423:
1314:
710:
718:
1559:
1493:
1395:
1236:
1129:
684:
318:
1473:
1453:
822:
744:
498:
852:
609:
327:
1483:
1095:
507:
383:
249:
with Dagand, Pierre-Evariste (2014). "Transporting
Functions across Ornaments".
226:
169:
83:
47:
628:
1524:
1433:
1170:
813:
796:
585:
490:
403:
374:
326:
with
Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (September 2010).
310:
870:
1339:
1288:
1219:
355:
346:
272:
836:
Cambridge
Journals Online: Journal of Functional Programming, Conor McBride
576:
Dependently Typed
Programming: An Agda Introduction (first of 15 lectures)
1478:
1126:
1072:
939:
553:
207:
203:
1214:
1039:
930:
539:
439:. Lecture Notes in Computer Science. Vol. 3839. pp. 186–200.
214:
899:
774:
533:. Lecture Notes in Computer Science. Vol. 2277. pp. 197–216.
471:
465:. Lecture Notes in Computer Science. Vol. 3622. pp. 130–170.
1387:
1325:
1320:
1282:
1225:
280:
with Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (August 2012).
108:
640:
180:
before joining the academic staff at the
University of Strathclyde.
1300:
1276:
263:
541:
The
Derivative of a Regular Type is its Type of One-Hole Contexts
888:
506:
with Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003).
903:
884:
1003:
862:
134:
610:"Dr Conor McBride: Reader: Computer and Information Sciences"
561:. University of Edinburgh College of Science and Engineering.
614:
University of
Strathclyde: Computer and Information Sciences
148:(born 18 February 1973) is a Reader in the department of
663:"Dependently Typed Functional Programs and their Proofs"
629:"Dependently Typed Functional Programs and their Proofs"
587:
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
555:
Dependently Typed
Functional Programs and their Proofs
162:
Dependently Typed Functional Programs and their Proofs
115:
Dependently Typed Functional Programs and their Proofs
456:"Epigram: Practical Programming with Dependent Types"
418:
Types for Proofs and Programs: International Workshop
1386:
1377:
1361:
1235:
1205:
1180:
1147:
1111:
1014:
947:
938:
189:
International Federation for Information Processing
187:in programming and informatics, as a member of the
129:
107:
89:
75:
58:
30:
23:
435:– (2006). "A Few Constructions on Constructors".
382:with Altenkirch, Thorsten; Morris, Peter (2007).
795:McBride, Conor; McKinna, James (January 2004).
225:Their most notable research is in the field of
915:
8:
282:"Strongly Typed Term representations in Coq"
195:on Algorithmic Languages and Calculi, which
402:with Altenkirch, Thorsten; McKinna, James.
1576:Academics of the University of Strathclyde
1383:
1020:
959:
944:
922:
908:
900:
892:
877:
384:"Generic Programming with Dependent Types"
229:. They cocreated the programming language
20:
812:
444:
300:
262:
416:with Altenkirch, Thorsten, eds. (2007).
601:
356:"Applicative programming with effects"
213:They favor and often use the language
1581:Alumni of the University of Edinburgh
683:; Guttmann, Walter (17 August 2016).
7:
584:McBride, Conor (10 September 2012).
470:with McKinna, James (January 2004).
354:with Paterson, Ross (January 2008).
178:Royal Holloway, University of London
98:Royal Holloway, University of London
775:"Towards Observational Type Theory"
749:Computer & Information Sciences
685:"Profile of IFIP Working Group 2.1"
397:. Vol. 4719. pp. 209–257.
183:They were involved with developing
573:McBride, Conor (3 February 2011).
14:
801:Journal of Functional Programming
479:Journal of Functional Programming
395:Lecture Notes in Computer Science
363:Journal of Functional Programming
236:Journal of Functional Programming
150:Computer and Information Sciences
1596:Programming language researchers
1539:
1538:
1529:
1528:
1518:
1352:
745:"Conor's Staring out the Window"
1606:21st-century British scientists
1601:20th-century British scientists
463:Advanced Functional Programming
328:"The gentle art of levitation"
289:Journal of Automated Reasoning
199:, maintains, and supports the
1:
875:Mathematics Genealogy Project
531:Types for Proofs and Programs
437:Types for Proofs and Programs
1586:British computer programmers
627:McBride, Conor (July 2000).
391:Datatype-Generic Programming
156:. In 1999, they completed a
1591:British computer scientists
857:, University of Strathclyde
751:. University of Strathclyde
719:"ScopeEtc: IFIP21: Foswiki"
635:. University of Edinburgh.
524:"Elimination with a Motive"
508:"Derivatives of Containers"
1622:
668:. University of Edinburgh.
633:Edinburgh Research Archive
405:Why Dependent Types Matter
172:. They formerly worked at
1502:
1350:
1266:
1023:
962:
814:10.1017/s0956796803004829
590:(video). Malcolm Wallace.
491:10.1017/s0956796803004829
375:10.1017/S0956796807006326
311:10.1007/s10817-011-9219-0
154:University of Strathclyde
125:
102:University of Strathclyde
68:
973:Glasgow Haskell Compiler
797:"The view from the left"
579:(video). Iain McGinniss.
472:"The view from the left"
335:ACM SIGPLAN Notices—ICFP
251:ACM SIGPLAN Notices—ICFP
661:McBride, Conor (1999).
347:10.1145/1932681.1863547
273:10.1145/2398856.2364544
185:international standards
166:University of Edinburgh
63:University of Edinburgh
193:IFIP Working Group 2.1
999:York Haskell Compiler
243:Selected bibliography
201:programming languages
1514:Open-source software
891:Bibliography Server
782:StrictlyPositive.org
771:Altenkirch, Thorsten
709:Swierstra, Doaitse;
158:Doctor of Philosophy
1469:Simon Peyton Jones
1414:Lennart Augustsson
1369:Real World Haskell
1034:Concurrent Haskell
773:; McBride, Conor.
168:for their work in
16:Computer scientist
1553:
1552:
1545:Category:Software
1404:
1403:
1348:
1347:
1207:Windowing systems
1143:
1142:
1139:
1138:
1113:Electronic design
715:Meertens, Lambert
681:Meertens, Lambert
174:Durham University
143:
142:
94:Durham University
70:Scientific career
1613:
1542:
1541:
1532:
1531:
1522:
1429:Andrew D. Gordon
1384:
1356:
1182:Package managers
1158:Haskell Platform
1021:
979:Template Haskell
960:
945:
924:
917:
910:
901:
896:
881:
866:
865:
863:Official website
856:
855:
853:Official website
838:
833:
827:
826:
816:
792:
786:
785:
779:
767:
761:
760:
758:
756:
743:McBride, Conor.
740:
734:
733:
731:
729:
717:(2 March 2011).
706:
700:
699:
697:
695:
679:Jeuring, Johan;
676:
670:
669:
667:
658:
652:
651:
649:
647:
624:
618:
617:
606:
591:
580:
562:
560:
548:
546:
534:
528:
518:
512:
502:
476:
466:
460:
450:
448:
431:
412:
410:
398:
388:
378:
360:
350:
332:
322:
304:
286:
276:
266:
139:
136:
135:strictlypositive
121:
80:Computer science
52:Northern Ireland
44:
41:18 February 1973
40:
38:
21:
1621:
1620:
1616:
1615:
1614:
1612:
1611:
1610:
1556:
1555:
1554:
1549:
1535:Category:Family
1517:
1498:
1449:John MacFarlane
1444:John Launchbury
1400:
1373:
1357:
1344:
1262:
1231:
1201:
1176:
1135:
1107:
1010:
967:Generic Haskell
951:
949:Implementations
934:
928:
861:
860:
851:
850:
847:
842:
841:
834:
830:
794:
793:
789:
777:
769:
768:
764:
754:
752:
742:
741:
737:
727:
725:
711:Gibbons, Jeremy
708:
707:
703:
693:
691:
678:
677:
673:
665:
660:
659:
655:
645:
643:
626:
625:
621:
608:
607:
603:
598:
583:
572:
569:
558:
551:
544:
537:
526:
521:
510:
505:
474:
469:
458:
453:
434:
428:
415:
408:
401:
386:
381:
358:
353:
330:
325:
302:10.1.1.296.8805
284:
279:
248:
245:
223:
176:and briefly at
133:
119:
100:
96:
82:
59:Alma mater
54:
45:
42:
36:
34:
26:
17:
12:
11:
5:
1619:
1617:
1609:
1608:
1603:
1598:
1593:
1588:
1583:
1578:
1573:
1568:
1558:
1557:
1551:
1550:
1548:
1508:= discontinued
1503:
1500:
1499:
1497:
1496:
1491:
1489:Simon Thompson
1486:
1481:
1476:
1471:
1466:
1461:
1456:
1451:
1446:
1441:
1436:
1431:
1426:
1424:Jeremy Gibbons
1421:
1416:
1411:
1405:
1402:
1401:
1399:
1398:
1392:
1390:
1381:
1375:
1374:
1372:
1371:
1365:
1363:
1359:
1358:
1351:
1349:
1346:
1345:
1343:
1342:
1337:
1329:
1323:
1318:
1315:Liquid Haskell
1312:
1304:
1298:
1292:
1286:
1280:
1274:
1267:
1264:
1263:
1261:
1260:
1254:
1248:
1241:
1239:
1237:Web frameworks
1233:
1232:
1230:
1229:
1223:
1217:
1211:
1209:
1203:
1202:
1200:
1199:
1193:
1186:
1184:
1178:
1177:
1175:
1174:
1168:
1162:
1153:
1151:
1145:
1144:
1141:
1140:
1137:
1136:
1134:
1133:
1124:
1117:
1115:
1109:
1108:
1106:
1105:
1099:
1093:
1085:
1077:
1069:
1063:
1055:
1049:
1043:
1037:
1031:
1024:
1018:
1012:
1011:
1009:
1008:
996:
984:
983:
982:
970:
963:
957:
942:
936:
935:
929:
927:
926:
919:
912:
904:
898:
897:
882:
868:
858:
846:
845:External links
843:
840:
839:
828:
787:
762:
735:
701:
671:
653:
619:
600:
599:
597:
594:
593:
592:
581:
568:
567:Video lectures
565:
564:
563:
549:
535:
519:
503:
467:
451:
432:
427:978-3540744634
426:
413:
399:
379:
351:
323:
295:(2): 141–159.
277:
257:(9): 103–114.
244:
241:
222:
219:
141:
140:
131:
127:
126:
123:
122:
111:
105:
104:
91:
87:
86:
77:
73:
72:
66:
65:
60:
56:
55:
46:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
1618:
1607:
1604:
1602:
1599:
1597:
1594:
1592:
1589:
1587:
1584:
1582:
1579:
1577:
1574:
1572:
1571:Living people
1569:
1567:
1564:
1563:
1561:
1547:
1546:
1537:
1536:
1527:
1526:
1521:
1516:
1515:
1510:
1509:
1506:
1501:
1495:
1494:Philip Wadler
1492:
1490:
1487:
1485:
1482:
1480:
1477:
1475:
1472:
1470:
1467:
1465:
1462:
1460:
1459:Conor McBride
1457:
1455:
1452:
1450:
1447:
1445:
1442:
1440:
1437:
1435:
1432:
1430:
1427:
1425:
1422:
1420:
1417:
1415:
1412:
1410:
1407:
1406:
1397:
1396:Haskell Curry
1394:
1393:
1391:
1389:
1385:
1382:
1380:
1376:
1370:
1367:
1366:
1364:
1360:
1355:
1341:
1338:
1335:
1334:
1330:
1327:
1324:
1322:
1319:
1316:
1313:
1310:
1309:
1305:
1302:
1299:
1296:
1293:
1290:
1287:
1284:
1281:
1278:
1275:
1272:
1269:
1268:
1265:
1258:
1255:
1252:
1249:
1246:
1243:
1242:
1240:
1238:
1234:
1227:
1224:
1221:
1218:
1216:
1213:
1212:
1210:
1208:
1204:
1197:
1194:
1191:
1188:
1187:
1185:
1183:
1179:
1172:
1169:
1166:
1163:
1160:
1159:
1155:
1154:
1152:
1150:
1146:
1131:
1130:SystemVerilog
1128:
1125:
1122:
1119:
1118:
1116:
1114:
1110:
1103:
1100:
1097:
1094:
1091:
1090:
1086:
1083:
1082:
1078:
1075:
1074:
1070:
1067:
1064:
1061:
1060:
1056:
1053:
1050:
1047:
1044:
1041:
1038:
1035:
1032:
1029:
1026:
1025:
1022:
1019:
1017:
1013:
1006:
1005:
1000:
997:
994:
990:
989:
985:
980:
977:
976:
974:
971:
968:
965:
964:
961:
958:
955:
950:
946:
943:
941:
937:
932:
925:
920:
918:
913:
911:
906:
905:
902:
895:
890:
886:
885:Conor McBride
883:
880:
876:
872:
871:Conor McBride
869:
864:
859:
854:
849:
848:
844:
837:
832:
829:
824:
820:
815:
810:
807:(1): 69–111.
806:
802:
798:
791:
788:
783:
776:
772:
766:
763:
750:
746:
739:
736:
724:
720:
716:
712:
705:
702:
690:
686:
682:
675:
672:
664:
657:
654:
642:
638:
634:
630:
623:
620:
615:
611:
605:
602:
595:
589:
588:
582:
578:
577:
571:
570:
566:
557:
556:
550:
543:
542:
536:
532:
525:
520:
516:
509:
504:
500:
496:
492:
488:
485:(1): 69–111.
484:
480:
473:
468:
464:
457:
452:
447:
446:10.1.1.65.327
442:
438:
433:
429:
423:
419:
414:
407:
406:
400:
396:
392:
385:
380:
376:
372:
368:
364:
357:
352:
348:
344:
340:
336:
329:
324:
320:
316:
312:
308:
303:
298:
294:
290:
283:
278:
274:
270:
265:
260:
256:
252:
247:
246:
242:
240:
238:
237:
232:
228:
220:
218:
216:
211:
209:
205:
202:
198:
194:
190:
186:
181:
179:
175:
171:
167:
163:
159:
155:
151:
147:
146:Conor McBride
138:
132:
128:
124:
117:
116:
112:
110:
106:
103:
99:
95:
92:
88:
85:
81:
78:
74:
71:
67:
64:
61:
57:
53:
49:
43:(age 51)
33:
29:
25:Conor McBride
22:
19:
1543:
1533:
1523:
1511:
1507:
1504:
1474:David Roundy
1458:
1454:Simon Marlow
1419:Richard Bird
1331:
1306:
1156:
1087:
1079:
1071:
1057:
1002:
998:
986:
831:
804:
800:
790:
781:
765:
753:. Retrieved
748:
738:
726:. Retrieved
722:
704:
692:. Retrieved
688:
674:
656:
644:. Retrieved
632:
622:
613:
604:
586:
575:
554:
540:
530:
514:
482:
478:
462:
436:
420:. Springer.
417:
404:
390:
366:
362:
338:
334:
292:
288:
254:
250:
234:
224:
212:
182:
161:
145:
144:
113:
90:Institutions
69:
18:
1566:1973 births
1484:Audrey Tang
1464:Erik Meijer
1439:John Hughes
1096:TidalCycles
933:programming
341:(9): 3–14.
227:type theory
170:type theory
160:(Ph.D.) in
84:Type theory
48:Newtownards
1560:Categories
1434:Paul Hudak
1171:QuickCheck
867:, personal
728:16 October
694:16 October
646:15 January
596:References
552:– (2000).
538:– (2001).
522:– (2002).
454:– (2005).
37:1973-02-18
1379:Community
1340:SQream DB
1289:git-annex
1220:wxHaskell
1149:Libraries
755:18 August
441:CiteSeerX
297:CiteSeerX
264:1201.4801
197:specified
1479:Joe Stoy
1127:Bluespec
1016:Dialects
954:features
940:Software
641:1842/374
517:: 16–30.
319:34005862
221:Research
208:ALGOL 68
204:ALGOL 60
1505:Italics
1333:Paradox
1295:Haddock
1271:Cardano
1245:Servant
1215:Fudgets
1040:Cryptol
931:Haskell
873:at the
823:6232997
723:Foswiki
689:Foswiki
499:6232997
231:Epigram
215:Haskell
191:(IFIP)
164:at the
152:at the
130:Website
1409:Arvind
1388:Eponym
1326:Pandoc
1321:LOLITA
1283:Ganeti
1226:xmonad
1165:Parsec
1081:Orwell
821:
497:
443:
424:
317:
299:
120:(1999)
118:
109:Thesis
76:Fields
1308:House
1301:HaXml
1277:Darcs
1257:Yesod
1196:Stack
1190:Cabal
1132:(BSV)
1073:Ωmega
1066:Idris
1046:Curry
988:Gofer
819:S2CID
778:(PDF)
666:(PDF)
559:(PDF)
545:(PDF)
527:(PDF)
511:(PDF)
495:S2CID
475:(PDF)
459:(PDF)
409:(PDF)
387:(PDF)
369:(1).
359:(PDF)
331:(PDF)
315:S2CID
285:(PDF)
259:arXiv
1525:Book
1512:° =
1362:Book
1251:Snap
1121:Atom
1089:Pugs
1059:Hume
1028:Agda
993:Hugs
991:° →
889:DBLP
757:2020
730:2020
696:2020
648:2016
422:ISBN
206:and
137:.org
31:Born
1052:Elm
1004:Yhc
1001:° (
887:at
809:doi
637:hdl
487:doi
371:doi
343:doi
307:doi
269:doi
1562::
1102:Ur
975:°
817:.
805:14
803:.
799:.
780:.
747:.
721:.
713:;
687:.
631:.
612:.
529:.
513:.
493:.
483:14
481:.
477:.
461:.
393:.
389:.
367:18
365:.
361:.
339:45
337:.
333:.
313:.
305:.
293:49
291:.
287:.
267:.
255:47
253:.
239:.
217:.
210:.
50:,
39:)
1336:°
1328:°
1317:°
1311:°
1303:°
1297:°
1291:°
1285:°
1279:°
1273:°
1259:°
1253:°
1247:°
1228:°
1222:°
1198:°
1192:°
1173:°
1167:°
1161:°
1123:°
1104:°
1098:°
1092:°
1084:°
1076:°
1068:°
1062:°
1054:°
1048:°
1042:°
1036:°
1030:°
1007:)
995:°
981:°
969:°
956:)
952:(
923:e
916:t
909:v
825:.
811::
784:.
759:.
732:.
698:.
650:.
639::
616:.
547:.
501:.
489::
449:.
430:.
411:.
377:.
373::
349:.
345::
321:.
309::
275:.
271::
261::
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.