Last update: Wed Mar 19 02:04:38 MDT 2025
Return to index directory
A
-
A, 0(0)xvi--133, 0(0)xxvi--586, 25(z)z
-
à, 18(4)423--436, 30(z)z
-
A-translation, 4(1)77--88
-
Abadi, M., 1(4)375--416, 5(1)111--130
-
Abadi, Martin, 4(2)249--283
-
Abadi, Mart{\'i}n, 15(2)129--129
-
Abadi:1991:ES, 1(4)375--416
-
Abadi:1994:BMT, 4(2)249--283
-
Abadi:1995:DTP, 5(1)111--130
-
Abadi:2005:LBS, 15(2)129--129
-
Abel, Andreas, 12(1)1--41, 19(3)287--310, 26(z)z, 27(z)z, 30(z)z,
31(z)z
-
Abel, Andreas, see Cockx, Jesper,
see Vezzosi, Andrea
-
Abel:2002:PAS, 12(1)1--41
-
Abel:2009:INU, 19(3)287--310
-
Abel:2016:WFR, 26(z)z
-
Abel:2017:IPA, 27(z)z
-
Abel:2020:LEI, 30(z)z
-
Abelson, 11(2)253--262
-
Abelson, Harold, 0(0)xxiii--657
-
Abelson:1996:SIC, 0(0)xxiii--657
-
Abelson:2000:SIC, 0(0)xxiii--657
-
Abraham, Robin, 16(3)293--325
-
Abraham, Robin, see Erwig, Martin
-
Abrial, 22(2)217--219
-
Abrial, Jean-Raymond, 0(0)xxvi--586
-
Abrial:2010:MEB, 0(0)xxvi--586
-
absolutely, 0(0)xviii--471
-
abstract, 0(0)xviii--471, 0(0)x--212, 1(1)3--20, 2(4)407--435,
3(2)171--190, 5(1)131--134, 7(3)231--264, 8(6)543--572,
11(6)673--680, 18(1)87--140, 22(4)705--746, 22(6)757--796,
24(2)218--283, 24(4)474--522, 25(z)z, 26(z)z, 27(z)z, 28(z)z,
29(z)z, 30(z)z, 31(z)z, 32(z)z, 33(z)z--99999999
-
abstraction, 0(0)xv--240, 0(0)xvi--350, 19(2)253--254, 22(4)705--746,
22(6)853--854, 30(z)z, 2654(0)xxii--398
-
Acar, Umut A., 22(4)379--381, 23(3)249--292, 24(1)56--112, 26(z)z
-
Acar, Umut A., see Chen, Yan
-
Acar:2012:ESI, 22(4)379--381
-
Acar:2013:CSS, 23(3)249--292
-
Acar:2016:OGS, 26(z)z
-
Accattoli, Beniamino, 30(z)z
-
Accattoli:2020:TTS, 30(z)z
-
access, 0(0)xv--240, 0(0)xxiii--402, 11(4)359--393, 15(2)131--177
-
access, random-, 30(z)z
-
accessible, 0(0)xv--240
-
accidents, 13(5)867--904
-
account, 28(z)z, 31(z)z
-
accumulating, 9(2)225--245, 14(3)317--363, 18(5)781--819
-
accumulative, 22(3)275--299
-
accumulator, 33(z)z--99999999
-
Achten, Peter, 5(1)81--110, 21(1)1--19, 23(2)185--224, 31(z)z
-
Achten:1995:IOC, 5(1)81--110
-
Achten:2011:SFP, 21(1)1--19
-
Achten:2013:EAB, 23(2)185--224
-
Achten:2021:SAR, 31(z)z
-
acids, 5(3)443--460
-
across, 24(2)316--383
-
act, 3(4)553--561, 13(5)935--944
-
action, 6(2)269--298
-
activations, 26(z)z
-
active, 0(0)xxiii--402
-
actor, 7(1)1--72, 30(z)z
-
Acute, 17(4)547--612
-
ad, 23(4)357--401
-
Ada, 8(4)367--412
-
Adams, Michael D., 28(z)z
-
Adams, Michael D., see Gilray, Thomas
-
Adams, Robin, 16(2)219--246
-
Adams, Stephen, 3(4)553--561
-
Adams:1993:FPE, 3(4)553--561
-
Adams:2006:PTS, 16(2)219--246
-
Addis, 22(2)219--221
-
Addis, Jan, 0(0)xvi--395
-
Addis, Jan, see Addis, Tom R.
-
Addis, Tom R., 0(0)xvi--395
-
Addis:2010:DPT, 0(0)xvi--395
-
Addison, 11(2)253--262, 22(3)375--377
-
Addison--Wesley, 8(6)633--637, 13(4)828--829
-
addition, 0(0)xvii--485, 0(0)xxiii--657, 14(6)697--713
-
Adelsberger, Stephan, 27(z)z
-
Adelsberger, Stephan, see Abel, Andreas
-
adequacy, 28(z)z
-
adequate, 10(6)607--623, 13(2)415--451
-
adheres, 0(0)xxiii--657
-
adjusting, self-, 23(3)249--292, 24(1)56--112
-
administrative, 13(5)925--933
-
adopting, 0(0)xxiii--402
-
advanced, 0(0)xxvi--586, 9(1)105--111, 16(2)247--249
-
advice, 27(z)z
-
Aehlig, Klaus, 22(1)9--30
-
Aehlig:2012:CIN, 22(1)9--30
-
Affeldt, Reynald, 31(z)z
-
Affeldt:2021:TMA, 31(z)z
-
again, 31(z)z
-
Agda, 19(5)545--579, 21(6)573--583, 27(z)z, 31(z)z
-
Agha, Gul A., 7(1)1--72
-
Agha:1997:FAC, 7(1)1--72
-
Agility, 22(6)853--854
-
Aharoni, Gad, 2(4)387--405, 7(4)421--440
-
Aharoni:1992:RTA, 2(4)387--405
-
Aharoni:1997:CAM, 7(4)421--440
-
Ahmed, Amal, 31(z)z, 32(z)z
-
Ahmed, Amal, see Koronkevich, Paulette,
see New, Max S.
-
Alan, 0(0)xxiii--657
-
Alejandro, 24(2)421--422
-
algebra, 6(3)465--484, 9(3)347--354, 19(3)469--487, 19(5)545--579,
27(z)z
-
Algebra-Driven, 34(z)z--99999999
-
algebraic, 7(6)613--660, 12(6)549--566, 18(5)781--819, 27(z)z, 30(z)z,
31(z)z, 34(z)z--99999999
-
Algehed, Maximilian, 27(z)z
-
Algehed, Maximilian, see Smallbone, Nicholas
-
Algol, 6(1)171--180
-
algorithm, 0(0)xi--235, 0(0)xi--277, 0(0)xiii--448, 0(0)xiv--600,
2(2)237--244, 2(3)375--385, 2(4)387--405, 7(2)227--229,
7(4)421--440, 7(6)661--666, 8(1)23--60, 8(4)323--333, 9(6)605--624,
11(1)33--53, 11(3)347--358, 11(5)467--492, 13(4)828--829,
21(6)664--666, 23(2)174--184, 23(2)226--227, 25(z)z, 30(z)z,
31(z)z
-
algorithmic, 0(0)xi--277, 4(3)337--369, 11(5)439--440, 15(4)615--650,
19(z)1--301
-
aliasing, 17(4)473--546
-
Alice, 34(z)z--z
-
all, 0(0)xii--301, 0(0)xxiii--657, 0(0)xxvi--586, 11(2)253--262,
13(5)945--956, 32(z)z
-
Allais, Guillaume, 31(z)z
-
Allais:2021:TSS, 31(z)z
-
Allen-Williams, Mair, 17(4)547--612
-
Allen-Williams, Mair, see Sewell, Peter
-
Allison, Lloyd, 15(1)15--32
-
Allison:2005:MML, 15(1)15--32
-
allocation, 28(z)z
-
allowing, 0(0)xxiii--402
-
allows, 0(0)xxvi--586
-
almost, 18(5)567--598
-
alone, 31(z)z
-
alphabet, 0(0)xviii--471
-
Alt, Martin, 6(4)621--655
-
Alt, Martin, see Hartel, Pieter H.
-
Altenkirch, Thorsten, 12(1)1--41, 19(3)311--333, 25(z)z
-
Altenkirch, Thorsten, see Abel, Andreas
-
Altenkirch:2009:BSN, 19(3)311--333
-
Altenkirch:2015:IC, 25(z)z
-
alternative, 31(z)z
-
always, 22(2)153--180
-
Amadio, 11(5)589--589
-
Amani, Sidney, 31(z)z
-
Amani, Sidney, see O'Connor, Liam
-
Amin, Nada, 29(z)z
-
Amin, Nada, see Rompf, Tiark
-
Amorim, Arthur, Azevedo De, 26(z)z
-
amortized, 25(z)z
-
Amtoft, Torben, 7(3)321--347
-
Amtoft:1997:TBR, 7(3)321--347
-
Analogical, 2654(0)xxii--398
-
analyses, 3(3)315--346, 15(1)67--100, 28(z)z
-
analysis, 0(0)xv--240, 0(0)xvi--350, 3(3)347--363, 3(3)365--387,
5(1)37--49, 6(1)75--109, 8(3)239--273, 11(1)3--31, 12(1)1--41,
12(3)229--292, 13(2)415--451, 13(3)483--508, 13(5)867--904,
14(2)211--245, 15(2)249--291, 15(2)293--349, 15(5)703--749,
16(4)621--661, 17(4)473--546, 18(4)503--551, 18(5)821--864,
19(2)253--254, 24(2)218--283, 25(z)z, 27(z)z, 31(z)z
-
analytic, 6(1)47--74, 27(z)z
-
Ancona, Davide, 12(2)91--132
-
Ancona:2002:CMS, 12(2)91--132
-
and-capability, type-, 23(1)38--144
-
and-conquer, divide-, 9(3)279--310
-
and-effect, type-, 26(z)z
-
Andersen, Kristoffer Just Arndal, 31(z)z
-
Andersen:2021:PCM, 31(z)z
-
Andrew, 8(6)633--637, 9(1)105--111
-
ANF, 32(z)z
-
Angiuli, Carlo, 26(z)z
-
Angiuli:2016:HPT, 26(z)z
-
Angus, Chris, 13(4)823--824
-
Angus:2003:BRT, 13(4)823--824
-
Animated, 8(5)503--525
-
animation, 4(1)1--18, 10(3)245--268
-
Annenkov, Danil, 32(z)z
-
Annenkov:2022:EFP, 32(z)z
-
Annie, 24(1)128--130
-
Anonymous:1991:AIV, 1(4)495--495
-
Anonymous:1991:Ea, 1(1)1--2
-
Anonymous:1991:Eb, 1(3)373--373
-
Anonymous:1991:JVIa, 1(1)z--z
-
Anonymous:1991:JVIb, 1(1)z--z
-
Anonymous:1991:JVIc, 1(2)z--z
-
Anonymous:1991:JVId, 1(2)z--z
-
Anonymous:1991:JVIe, 1(3)z--z
-
Anonymous:1991:JVIf, 1(3)z--z
-
Anonymous:1991:JVIg, 1(4)z--z
-
Anonymous:1991:JVIh, 1(4)z--z
-
Anonymous:1992:AIV, 2(4)515--515
-
Anonymous:1992:JVIa, 2(1)z--z
-
Anonymous:1992:JVIb, 2(1)z--z
-
Anonymous:1992:JVIc, 2(2)z--z
-
Anonymous:1992:JVId, 2(2)z--z
-
Anonymous:1992:JVIe, 2(3)z--z
-
Anonymous:1992:JVIf, 2(3)z--z
-
Anonymous:1992:JVIg, 2(4)z--z
-
Anonymous:1992:JVIh, 2(4)z--z
-
Anonymous:1993:AIV, 3(4)563--563
-
Anonymous:1993:JVIa, 3(1)z--z
-
Anonymous:1993:JVIb, 3(1)z--z
-
Anonymous:1993:JVIc, 3(2)z--z
-
Anonymous:1993:JVId, 3(2)z--z
-
Anonymous:1993:JVIe, 3(3)z--z
-
Anonymous:1993:JVIf, 3(3)z--z
-
Anonymous:1993:JVIg, 3(4)z--z
-
Anonymous:1993:JVIh, 3(4)z--z
-
Anonymous:1994:AIV, 4(4)561--561
-
Anonymous:1994:JVIa, 4(1)z--z
-
Anonymous:1994:JVIb, 4(1)z--z
-
Anonymous:1994:JVIc, 4(2)z--z
-
Anonymous:1994:JVId, 4(2)z--z
-
Anonymous:1994:JVIe, 4(3)z--z
-
Anonymous:1994:JVIf, 4(3)z--z
-
Anonymous:1994:JVIg, 4(4)z--z
-
Anonymous:1994:JVIh, 4(4)z--z
-
Anonymous:1995:AIV, 5(4)661--662
-
Anonymous:1995:JVIa, 5(1)z--z
-
Anonymous:1995:JVIb, 5(1)z--z
-
Anonymous:1995:JVIc, 5(2)z--z
-
Anonymous:1995:JVId, 5(2)z--z
-
Anonymous:1995:JVIe, 5(3)z--z
-
Anonymous:1995:JVIf, 5(3)z--z
-
Anonymous:1995:JVIg, 5(4)z--z
-
Anonymous:1995:JVIh, 5(4)z--z
-
Anonymous:1996:AIV, 6(6)859--861
-
Anonymous:1996:JVIa, 6(1)z--z
-
Anonymous:1996:JVIb, 6(1)z--z
-
Anonymous:1996:JVIc, 6(2)z--z
-
Anonymous:1996:JVId, 6(2)z--z
-
Anonymous:1996:JVIe, 6(3)z--z
-
Anonymous:1996:JVIf, 6(3)z--z
-
Anonymous:1996:JVIg, 6(4)z--z
-
Anonymous:1996:JVIh, 6(4)z--z
-
Anonymous:1996:JVIi, 6(5)z--z
-
Anonymous:1996:JVIj, 6(5)z--z
-
Anonymous:1996:JVIk, 6(6)z--z
-
Anonymous:1996:JVIl, 6(6)z--z
-
Anonymous:2004:SIP, 14(4)473--473
-
Anonymous:2009:JVIa, 19(2)z--z
-
Anonymous:2009:JVIb, 19(2)z--z
-
Anonymous:2009:JVIc, 19(3)z--z
-
Anonymous:2009:JVId, 19(3)z--z
-
Anonymous:2009:JVIe, 19(5)z--z
-
Anonymous:2009:JVIf, 19(5)z--z
-
Anonymous:2009:JVIg, 19(6)z--z
-
Anonymous:2009:JVIh, 19(6)z--z
-
Anonymous:2009:JVIi, 19(z)z--z
-
Anonymous:2009:JVIj, 19(z)z--z
-
Anonymous:2010:JVIa, 20(1)z--z
-
Anonymous:2010:JVIb, 20(1)z--z
-
Anonymous:2010:JVIc, 20(2)z--z
-
Anonymous:2010:JVId, 20(2)z--z
-
Anonymous:2010:JVIe, 20(3)z--z
-
Anonymous:2010:JVIf, 20(3)z--z
-
Anonymous:2010:JVIg, 20(5)z--z
-
Anonymous:2010:JVIh, 20(5)z--z
-
Anonymous:2011:JVIa, 21(1)z--z
-
Anonymous:2011:JVIb, 21(1)z--z
-
Anonymous:2011:JVIc, 21(2)z--z
-
Anonymous:2011:JVId, 21(2)z--z
-
Anonymous:2011:JVIe, 21(3)z--z
-
Anonymous:2011:JVIf, 21(3)z--z
-
Anonymous:2011:JVIg, 21(4)z--z
-
Anonymous:2011:JVIh, 21(4)z--z
-
Anonymous:2011:JVIi, 21(6)z--z
-
Anonymous:2011:JVIj, 21(6)z--z
-
Anonymous:2012:JVIa, 22(1)z--z
-
Anonymous:2012:JVIb, 22(1)z--z
-
Anonymous:2012:JVIc, 22(2)z--z
-
Anonymous:2012:JVId, 22(2)z--z
-
Anonymous:2012:JVIe, 22(3)z--z
-
Anonymous:2012:JVIf, 22(3)z--z
-
Anonymous:2012:JVIg, 22(4)z--z
-
Anonymous:2012:JVIh, 22(4)z--z
-
Anonymous:2012:JVIi, 22(6)z--z
-
Anonymous:2012:JVIj, 22(6)z--z
-
Anonymous:2013:JVIa, 23(1)z--z
-
Anonymous:2013:JVIb, 23(1)z--z
-
Anonymous:2013:JVIc, 23(2)z--z
-
Anonymous:2013:JVId, 23(2)z--z
-
Anonymous:2013:JVIe, 23(3)z--z
-
Anonymous:2013:JVIf, 23(3)z--z
-
Anonymous:2013:JVIg, 23(4)z--z
-
Anonymous:2013:JVIh, 23(4)z--z
-
Anonymous:2013:JVIi, 23(5)z--z
-
Anonymous:2013:JVIj, 23(5)z--z
-
Anonymous:2013:JVIk, 23(6)z--z
-
Anonymous:2013:JVIl, 23(6)z--z
-
Anonymous:2014:JVIa, 24(1)z--z
-
Anonymous:2014:JVIb, 24(1)z--z
-
Anonymous:2014:JVIc, 24(2)z--z
-
Anonymous:2014:JVId, 24(2)z--z
-
Anonymous:2014:JVIe, 24(4)z--z
-
Anonymous:2014:JVIf, 24(4)z--z
-
Anonymous:2014:JVIg, 24(5)z--z
-
Anonymous:2014:JVIh, 24(5)z--z
-
Anonymous:2014:JVIi, 24(6)z--z
-
Anonymous:2014:JVIj, 24(6)z--z
-
another, 0(0)xviii--471
-
answer, 0(0)xvi--133
-
antiquote, 21(3)219--234
-
Antoni, 6(2)375--377
-
Antoy, Sergio, 14(6)657--668
-
Antoy:2004:FPC, 14(6)657--668
-
any, 0(0)xxiii--657
-
anyone, 0(0)xi--277, 8(2)195--199
-
Apostolos, 22(6)854--855
-
appeal, 0(0)xi--277
-
appealing, 0(0)xi--277
-
Appel, 9(1)105--111
-
Appel, Andrew W., 0(0)x--390, 2(1)i, 3(4)389--389, 3(4)391--429,
5(2)155--200, 6(1)47--74, 7(2)227--229, 7(5)515--540, 14(1)3--19
-
Appel, Andrew W., see Tolmach, Andrew
-
Appel:1992:SIM, 2(1)i
-
Appel:1993:CSM, 3(4)391--429
-
Appel:1993:SIM, 3(4)389--389
-
Appel:1996:EAS, 6(1)47--74
-
Appel:1997:BRG, 7(2)227--229
-
Appel:1997:MCI, 0(0)x--390
-
Appel:1997:SLE, 7(5)515--540
-
Appel:2004:DTE, 14(1)3--19
-
application, 0(0)xv--240, 0(0)xvi--133, 0(0)xxiii--402, 0(0)xxiii--657,
2(4)437--473, 2(4)475--503, 3(4)565--566, 4(4)479--498,
5(3)279--281, 7(5)555--556, 8(4)445--446, 9(1)1--31, 9(5)565--575,
10(6)627--627, 13(3)453--454, 15(4)573--614, 23(2)225--226, 32(z)z,
33(z)z--99999999
-
Applicative, 18(1)1--13, 28(z)z
-
applied, 6(5)723--756
-
apply, 0(0)xv--240, 0(0)xxiii--402, 16(4)415--449
-
applying, 0(0)xxiii--402, 31(z)z
-
appreciate, 0(0)xv--240
-
approach, 0(0)xi--235, 0(0)xi--277, 0(0)xiv--445, 0(0)xvii--485,
0(0)xxiii--402, 0(0)xxiii--657, 0(0)xxvi--586, 2(3)273--321,
9(4)479--482, 11(1)95--116, 11(6)591--627, 13(4)828--829,
17(2)215--286, 20(3)375--413, 28(z)z
-
Apress, 21(2)217--218, 24(2)421--422
-
April, 23(3)351--352
-
Aransay, Jesús, 25(z)z
-
Aransay:2015:FHO, 25(z)z
-
Arbiser, Ariel, 19(5)581--631
-
Arbiser:2009:CCS, 19(5)581--631
-
arbitrary-rank, 17(1)1--82
-
architecture, 2(2)227--231
-
area, 0(0)xi--277, 0(0)xv--240
-
Ariola, Zena M., 7(3)265--301, 18(3)373--419, 24(1)1--55, 27(z)z,
28(z)z, 33(z)z--99999999
-
Ariola, Zena M., see Downen, Paul,
see Johnson-Freyd, Philip
-
Ariola:1997:CNL, 7(3)265--301
-
Ariola:2008:CRT, 18(3)373--419
-
arise, 0(0)xviii--471, 0(0)xxvi--586
-
Armstrong, 5(4)653--660, 19(2)259--261
-
Armstrong, Joe, 0(0)xiii--515
-
Armstrong:2007:PES, 0(0)xiii--515
-
around, 0(0)xxiii--402, 30(z)z
-
array, 7(5)487--513, 8(4)323--333, 11(3)319--346, 13(1)173--178,
13(6)1005--1059, 15(3)353--401, 25(z)z, 30(z)z
-
arrow, 19(3)403--438, 20(1)51--69, 21(4)467--496
-
arrow-based, 23(2)185--224
-
art, 0(0)z, 24(5)608--609
-
Art, State-of-The-, 3(4)565--566
-
art, State-of-the-, 5(3)279--281
-
Artificial, 2654(0)xxii--398
-
Arvind, 13(4)824--826
-
Arya, Kavi, 4(1)1--18
-
Arya:1994:FAS, 4(1)1--18
-
Asai, Kenichi, 23(4)355--356
-
Asai:2013:SID, 23(4)355--356
-
ASCII, 0(0)xviii--471
-
aspect, 0(0)xi--277, 11(5)439--440, 13(3)601--646, 14(2)249--251,
18(2)141--178, 2257(0)viii--349
-
Asperti, 10(5)501--508
-
Asperti, Andrea, 2(1)23--59, 6(6)763--810
-
Asperti:1992:CUE, 2(1)23--59
-
Asperti:1996:BOH, 6(6)763--810
-
Aspinall, David, 18(2)141--178
-
Aspinall:2008:TSU, 18(2)141--178
-
aspiring, 0(0)xi--277
-
assembly, 12(1)43--88, 13(5)957--959
-
assertions, 15(2)219--247
-
Assignment, 13(6)1005--1059
-
assignment, type-, 3(4)485--525
-
assistant, 18(5)599--647, 32(z)z, 33(z)z--99999999
-
associated, 0(0)xviii--471
-
associated, left-, 10(6)607--623
-
associative-commutative, 11(2)207--251
-
assumptions, 21(4)333--412
-
Asymptotic, 34(z)z--99999999
-
asynchronous, 20(1)19--50
-
Atkey, Robert, 19(3)335--376, 25(z)z, 30(z)z, 31(z)z
-
Atkey, Robert, see Allais, Guillaume,
see Hillerström, Daniel
-
Atkey:2009:PNC, 19(3)335--376
-
Atkey:2015:IDE, 25(z)z
-
Atwood, John, 11(2)155--206
-
Atwood, John, see Burnett, Margaret
-
augment, 17(6)731--776
-
Augustsson, Lennart, 3(1)77--92, 4(1)117--123, 6(4)621--655,
24(6)612--612
-
Augustsson, Lennart, see Hartel, Pieter H.,
see Sperber, Michael
-
Augustsson:1993:ILM, 3(1)77--92
-
Augustsson:1994:FPG, 4(1)117--123
-
author, 0(0)xvii--485, 0(0)xxiii--657, 0(0)xxvi--586, 1(4)495--495,
2(4)515--515, 3(4)563--563, 4(4)561--561, 5(4)661--662,
6(6)859--861
-
authoring, 15(5)751--770
-
AutoBayes, 13(3)483--508
-
automata, 16(3)253--267
-
automated, 0(0)xix--681, 11(1)3--31, 18(1)15--46, 21(6)663--664
-
automatic, 0(0)xvii--485, 0(0)xx--472, 7(2)227--229, 8(5)493--502,
9(2)225--245, 10(6)509--559
-
automation, 23(4)357--401
-
av, 0(0)viii--145
-
available, 0(0)xxvi--586
-
avoidability, 27(z)z
-
avoidance, 30(z)z
-
awaited, long-, 0(0)xxiii--657
-
aware, multicore-, 24(6)613--674
-
axiom, 28(z)z
-
axiomatic, 31(z)z
-
Azevedo De Amorim, Arthur, 26(z)z
-
Azevedo De Amorim, Arthur, see Hritcu, Catalin