Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
D
-
D, 6(1)189--193, 8(6)633--637, 9(4)479--482
-
d'applications, 14(5)592--594
-
Dagand, Pierre-Evariste, 27(z)z
-
Dagand, Pierre-Évariste, 24(2)316--383, 28(z)z
-
Dagand:2014:TFA, 24(2)316--383
-
Dagand:2017:EO, 27(z)z
-
Dagand:2018:FDI, 28(z)z
-
Dal Zilio, Silvano, 12(3)229--292
-
DalZilio:2002:RAC, 12(3)229--292
-
Damas, Lu{\'i}s, 7(6)593--612, 14(5)519--546,
see Broda, Sabine,
see Florido, Mário
-
Damian, Daniel, 13(5)867--904, 13(5)925--933
-
Damian:2003:CTF, 13(5)925--933
-
Damian:2003:SAP, 13(5)867--904
-
Damiani, Ferruccio, 10(6)509--559
-
Damiani:2000:AUC, 10(6)509--559
-
Daniel, 13(4)829--831, 19(2)253--254, 19(6)723--725, 30(z)z
-
Danner, Norman, 32(z)z
-
Danner:2022:DSF, 32(z)z
-
Danvy, Olivier, 7(3)303--319, 8(6)621--625, 11(6)673--680,
13(5)867--904, 13(5)925--933, 16(3)269--280, 17(6)793--812, 29(z)z,
32(z)z, 33(z)z
-
Danvy, Olivier, see Biernacki, Dariusz,
see Damian, Daniel, \see{Hatcliff, John
-
Danvy:1998:FU, 8(6)621--625
-
Danvy:2001:NET, 11(6)673--680
-
Danvy:2007:OPC, 17(6)793--812
-
Danvy:2019:FLR, 29(z)z
-
Danvy:2022:FUL, 32(z)z, 33(z)z
-
Danvy:2023:FLR, 33(z)z
-
Danvy:2023:FUL, 32(z)z, 33(z)z
-
Darais, David, 22(2)181--216, 29(z)z
-
Darais, David, see Flatt, Matthew
-
Darais:2019:CGC, 29(z)z
-
Dashti, Mohammad, 28(z)z
-
Dashti, Mohammad, see Shaikhha, Amir
-
data, 0(0)xi--277, 0(0)xv--240, 0(0)xvi--133, 0(0)xviii--237, 0(0)x--212,
1(1)3--20, 3(2)171--190, 3(2)191--215, 5(1)51--64, 5(1)131--134,
9(4)427--462, 9(5)577--578, 11(5)525--556, 12(0)vii--390,
13(3)483--508, 14(5)589--592, 15(1)15--32, 16(1)35--74,
16(2)197--217, 18(4)423--436, 22(4)529--573, 25(z)z, 26(z)z,
27(z)z, 28(z)z, 31(z)z
-
data-parallel, 9(4)427--462
-
database, 0(0)xv--240, 0(0)xxiii--402
-
dataspace, 30(z)z
-
datatype, 9(1)77--91
-
datatype-generic, 20(3)375--413
-
datatypes, 11(5)493--524, 19(3)439--468
-
dated, 9(3)347--354
-
Dates, 13(1)225--230
-
datorer, 0(0)viii--145
-
David, 6(2)375--377, 7(5)555--556, 8(4)445--446, 13(4)831--832,
24(2)419--421, 30(z)z
-
David, R., 15(1)33--52
-
David:2005:ICE, 15(1)33--52
-
Davy, J. R., 5(3)415--442
-
Davy:1995:PLC, 5(3)415--442
-
De Amorim, Arthur, Azevedo, 26(z)z
-
De Grenier De Latour, Thomas, 15(2)179--217
-
De Grenier De Latour, Thomas,
see Besson, Frédéric
-
De Hoon, Walter A. C. A. J., 5(3)383--414
-
De Jong, Willem, 21(2)217--218
-
De La Encina, Alberto, 19(1)47--94
-
De Latour, Thomas, De Grenier, 15(2)179--217
-
De Mol, Maarten, 23(2)185--224
-
De Mol, Maarten, see Achten, Peter
-
De Moor, Oege, 6(1)1--28, 7(5)541--547, 10(2)191--225, 13(3)455--481
-
De Moor, Oege, see Bird, Richard,
see Elliott, Conal, \see{Hoogendijk, Paul
-
De Muijnck-Hughes, Jan, 30(z)z
-
De Paiva, V. C. V., 8(2)177--193
-
De Paiva, V. C. V., see Benton, P. N.
-
De Vries, Edsko, 20(3)213--270
-
De Vries, Edsko, see Verbruggen, Wendy
-
deal, 0(0)xi--277
-
dealing, 0(0)xxiii--657
-
Dean, 22(6)853--854
-
Debasish, 30(z)z
-
debugger, 5(2)155--200, 11(6)629--671
-
debugging, 4(3)337--369, 9(4)463--469, 16(6)663--670, 19(2)262--262
-
decade, 0(0)xxiii--657
-
December, 24(4)523--523
-
Deciding, 3(4)485--525, 15(4)543--572
-
decision, 25(z)z
-
declarations, 0(0)xviii--471, 13(1)39--66
-
declarative, 14(2)249--251, 14(5)588--589, 2257(0)viii--349
-
declared, 0(0)xviii--471
-
dedicated, 20(5)415--416, 21(4)331--332, 22(4)379--381, 23(4)355--356,
24(2)131--132, 26(z)z
-
deduction, 6(2)365--373, 10(1)121--134
-
defined, 9(4)427--462
-
defined, sheet-, 30(z)z
-
defining, 0(0)xviii--471, 5(1)51--64
-
definition, 0(0)xviii--471, 22(2)181--216, 23(6)658--700
-
definitional, 9(1)33--75
-
Degli, Jocelyne, Rouyer-, 6(5)699--722
-
DeHoon:1995:IFS, 5(3)383--414
-
DeJong:2011:BRF, 21(2)217--218
-
DeLaEncina:2009:NSC, 19(1)47--94
-
Deletion, 24(4)423--433
-
delimited, 16(3)269--280, 17(6)687--730, 21(6)617--662, 24(1)1--55
-
DeMaio, 24(2)419--421
-
demand, 6(4)563--585, 15(6)837--891
-
Demand, Video-on-, 15(3)403--430
-
Den Berg, Klaas, Van, 3(1)49--65
-
Dendorfer, Claus, 2(1)1--21
-
Dendorfer, Claus, see Broy, Manfred
-
Dénès, Maxime, 26(z)z, see Hritcu, Catalin
-
Denotational, 32(z)z
-
densest-segment, 25(z)z
-
dePaiva:2001:BRD, 11(5)589--589
-
dependencies, 17(1)83--129
-
dependent, 10(2)137--166, 10(4)409--415, 11(4)437--437, 12(4)375--392,
14(1)1--2, 14(1)3--19, 17(2)215--286, 19(5)545--579, 22(2)107--152,
26(z)z, 27(z)z, 28(z)z, 30(z)z, 32(z)z
-
dependent, value-, 23(4)402--451
-
dependently, 23(5)552--593, 31(z)z
-
deques, 5(4)583--592
-
Der Hoeven, Gerrit, Van, 3(1)49--65
-
derivation, 9(3)339--346, 14(6)697--713, 19(1)47--94, 19(5)545--579
-
derivative, 19(2)173--190, 25(z)z
-
Derived, 13(1)139--144
-
derives, 0(0)xv--240
-
Deriving, 6(1)181--188, 6(3)535--562, 7(3)231--264
-
Derrick, John, 14(5)597--598
-
Derrick:2004:BRP, 14(5)597--598
-
describes, 0(0)xiii--515, 0(0)xv--240
-
description, 7(5)451--485, 21(1)21--58
-
design, 0(0)xi--277, 0(0)xv--240, 0(0)xvii--485, 0(0)xvii--509,
2(4)437--473, 3(4)527--552, 4(2)127--206, 9(2)167--189, 12(1)89--90,
16(2)157--196, 17(4)547--612, 21(1)59--114, 21(3)309--329,
23(2)226--227, 23(5)552--593, 24(1)128--130, 30(z)z, 31(z)z
-
design-space, 26(z)z
-
designed, 0(0)xv--240, 0(0)xvi--133, 30(z)z
-
designing, 0(0)xxvi--586
-
Despeyroux, Joëlle, 10(1)135--136
-
Despeyroux:2000:SIL, 10(1)135--136
-
destruct-time, 18(4)437--502
-
destructive, 11(3)319--346
-
detailed, 0(0)xv--240
-
determinacy, non-, 1(1)3--20
-
determinate, 1(1)3--20
-
determinism, Non-, 15(1)67--100
-
deterministic, non-, 11(2)207--251
-
developed, 30(z)z
-
developer, 0(0)xi--72, 0(0)xv--240, 0(0)xvi--133, 22(6)853--854
-
developing, 0(0)xxiii--402, 12(4)359--374, 15(3)403--430
-
development, 0(0)xv--240, 0(0)xvi--133, 0(0)xvi--350, 0(0)xxvi--586,
4(3)371--394, 10(4)353--395, 14(1)21--68, 18(5)599--647, 30(z)z
-
Développement, 14(5)592--594
-
devices, 0(0)xxx--439, 17(3)423--424
-
Devriese, Dominique, 22(6)757--796, 26(z)z, 28(z)z, 30(z)z, 31(z)z
-
Devriese, Dominique, see Abel, Andreas,
see Cockx, Jesper,
see Skorstengaard, Lau,
see Van Strydonck, Thomas
-
Devriese:2012:FTO, 22(6)757--796
-
Dew, P. M., 5(3)415--442
-
Dew, P. M., see Davy, J. R.
-
Di Cosmo, Roberto, 3(4)485--525, 6(2)299--327
-
Di Cosmo, Roberto, see Curien, Pierre-Louis
-
Di Pierro, Alessandra, 15(5)703--749
-
Diagramm, 0(0)xvi--395
-
dialects, 26(z)z
-
Dick, 17(3)423--424
-
DiCosmo:1993:DTI, 3(4)485--525
-
Dieterle, M., 26(z)z
-
Dieterle:2016:SCV, 26(z)z
-
diets, 8(6)627--632, 21(2)135--157
-
different, 0(0)xv--240, 0(0)xvi--133, 0(0)xxiii--402, 0(0)xxiii--657
-
difficulty, 0(0)xxvi--586
-
digit, 31(z)z
-
digital, 2(4)437--473
-
Dijkstra, 21(6)573--583
-
Diller, 6(2)375--377
-
dimension, 6(4)587--620
-
Dimock, Allyn, 12(3)183--227
-
Dimock, Allyn, see Wells, J. B.
-
DiPierro:2005:QSA, 15(5)703--749
-
Direct, 33(z)z
-
directed, 5(4)501--547
-
directed, `Proof-, 16(6)663--670
-
directed, Proof-, 9(4)463--469, 19(2)262--262, 31(z)z
-
direction, 0(0)xv--240, 10(5)501--508
-
Directory, 13(1)219--222
-
disciplinary, multi-, 15(3)477--502
-
Discover, 0(0)xvi--133
-
discrete, 0(0)xxvi--586
-
discrimination, 22(3)300--374
-
displayed, 0(0)xviii--471
-
Dissertations, 2(3)365--365
-
distinct, 0(0)xviii--471, 14(6)657--668
-
Distinguished, 2(3)365--365
-
distributed, 0(0)xiii--515, 0(0)xxiii--402, 2(2)203--212, 7(4)421--440,
10(1)91--120, 12(4)469--510, 15(3)403--430, 15(5)703--749,
17(4)547--612, 23(4)402--451, 27(z)z, 28(z)z, 31(z)z
-
distribution, 20(5)577--615, 25(z)z
-
distributive, 27(z)z
-
Divasón, Jose, 25(z)z, see Aransay, Jesús
-
dive, 0(0)xvii--485
-
diverse, 0(0)xi--277
-
divide-and-conquer, 9(3)279--310
-
Djang, Rebecca Walpole, 11(2)155--206
-
Djang, Rebecca Walpole, see Burnett, Margaret
-
do, 10(4)321--325
-
Document, 0(0)xxx--439
-
documents, 12(4)435--468
-
Doets, 16(2)249--250
-
Doets, Kees, 4(0)x--426
-
Doets:2004:HRL, 4(0)x--426
-
Dolstra, Eelco, 20(5)577--615
-
Dolstra:2010:NPF, 20(5)577--615
-
domain, 1(2)213--227, 7(4)357--394, 11(5)589--589, 30(z)z
-
Domain-free, 10(5)417--452
-
Domain-Specific, 21(2)215--217, 22(3)375--377
-
domain-specific, 0(0)xix--374, 19(6)645--661, 32(z)z
-
domain-theoretic, 2(3)273--321
-
done, 0(0)xxvi--586
-
Donham, Jacob, 23(3)249--292
-
Donham, Jacob, see Acar, Umut A.
-
Donnelly, Kevin, 18(5)649--706
-
Donnelly:2008:TE, 18(5)649--706
-
doo, 30(z)z
-
Double, 12(4)293--294
-
down, top-, 22(3)300--374
-
Downen, Paul, 24(1)1--55, 27(z)z, 28(z)z, 33(z)z
-
Downen, Paul, see Johnson-Freyd, Philip
-
Downen:2014:DCC, 24(1)1--55
-
Downen:2018:TCC, 28(z)z
-
Downen:2023:CCR, 33(z)z
-
download, 0(0)xxvi--586
-
dramatic, 0(0)xxiii--657
-
Drawing, 0(0)xvi--395, 6(3)527--534, 22(2)219--221
-
drawings, 6(3)535--562
-
drawn, 0(0)xi--277
-
Dreyer, Derek, 17(4)433--471, 21(4)497--562, 22(4)477--528,
23(4)357--401, 24(5)529--607, 25(z)z, 26(z)z, 28(z)z, 32(z)z
-
Dreyer, Derek, see Gonthier, Georges,
see Jung, Ralf, \see{Neis, Georg,
see Rossberg, Andreas, \see{Ziliani, Beta
-
Dreyer:2007:RTG, 17(4)433--471
-
Dreyer:2012:IHO, 22(4)477--528
-
Dreyer:2016:SID, 26(z)z
-
Dreyer:2022:BPS, 32(z)z
-
Driven, Type-, 30(z)z
-
dropping, 31(z)z
-
DrScheme, 12(2)159--182
-
dual-object, 0(0)xvii--485
-
duality, 19(3)265--286
-
Duba, Bruce F., 3(4)465--484
-
Duba, Bruce F., see Harper, Robert
-
Duck, Gregory J., 17(1)83--129
-
Duck, Gregory J., see Sulzmann, Martin
-
Duggan, Dominic, 12(2)133--158
-
Duggan:2002:TCM, 12(2)133--158
-
Dunfield, Joshua, 24(1)56--112, 24(2)133--165
-
Dunfield, Joshua, see Chen, Yan
-
Dunfield:2014:EIU, 24(2)133--165
-
duplicates, 1(2)235--243
-
Duponcheel, Luc, 5(4)653--660
-
Duponcheel:1995:BRC, 5(4)653--660
-
Duregård, Jonas, 25(z)z, see Claessen, Koen
-
Dutch, 21(6)573--583
-
Dybjen, Peter, 14(1)1--2
-
Dybjen, Peter, see Barthe, Gilles
-
Dybjer, Peter, 11(4)437--437, 27(z)z
-
Dybjer, Peter, see Barthe, Gilles,
see Swierstra, Wouter
-
Dybvig, R. Kent, 15(5)653--667, 19(z)1--301, 24(6)675--716
-
Dybvig, R. Kent, see Keep, Andrew W.,
see Sarkar, Dipanwita,
see Sperber, Michael
-
Dyckhoff, Roy, 11(4)433--436
-
Dyckhoff:2001:BRC, 11(4)433--436
-
dynamic, 0(0)xvi--133, 2(4)407--435, 3(4)431--463, 5(1)111--130,
7(2)227--229, 8(1)61--81, 8(5)493--502, 16(1)75--81, 18(4)437--502,
21(1)59--114, 23(3)229--248, 27(z)z, 28(z)z, 31(z)z
-
Dyvbig, R. Kent, 17(6)687--730
-
Dyvbig:2007:MFD, 17(6)687--730