Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
D
-
Danvy, Olivier, 11(2)115--116, 11(4)353--354, 12(1)5--5, 12(2)123--124,
12(3)219--219, 12(4)307--308, 13(1)5--6, 13(3)159--160,
13(4)287--288, 14(1)5--5, 14(2)99--100, 14(4)307--307, 15(1)5--5,
15(2)139--140, 15(4)271--271, 16(1)5--6, 16(3)159--159,
16(4)295--295, 17(1)5--6, 17(3)171--171, 17(4)275--275, 18(1)5--6,
19(1)5--5, 19(4)343--344, 20(3)197--198, 20(4)337--338,
21(3)237--238, 21(4)359--359, 22(1)1--1, 22(2)113--113,
22(2)191--195, 22(3)197--197, 22(4)293--293
-
Danvy, Olivier, see Basin, David,
see Chin, Wei-Ngan
-
Danvy:1998:E, 11(4)353--354
-
Danvy:1998:I, 11(2)115--116
-
Danvy:1999:Ea, 12(1)5--5
-
Danvy:1999:Eb, 12(3)219--219
-
Danvy:1999:Ec, 12(4)307--308
-
Danvy:1999:I, 12(2)123--124
-
Danvy:2000:Ea, 13(1)5--6
-
Danvy:2000:Eb, 13(3)159--160
-
Danvy:2000:Ec, 13(4)287--288
-
Danvy:2001:Ea, 14(1)5--5
-
Danvy:2001:Eb, 14(2)99--100
-
Danvy:2001:Ec, 14(4)307--307
-
Danvy:2002:Ea, 15(1)5--5
-
Danvy:2002:Eb, 15(2)139--140
-
Danvy:2002:Ec, 15(4)271--271
-
Danvy:2003:Ea, 16(1)5--6
-
Danvy:2003:Eb, 16(4)295--295
-
Danvy:2004:E, 17(4)275--275
-
Danvy:2005:E, 18(1)5--6
-
Danvy:2006:Ea, 19(1)5--5
-
Danvy:2006:Eb, 19(4)343--344
-
Danvy:2007:Ea, 20(3)197--198
-
Danvy:2007:Eb, 20(4)337--338
-
Danvy:2008:Ea, 21(3)237--238
-
Danvy:2008:Eb, 21(4)359--359
-
Danvy:2009:E, 22(4)293--293
-
Danvy:2009:Ea, 22(1)1--1
-
Danvy:2009:Eb, 22(2)113--113
-
Danvy:2009:Ec, 22(3)197--197
-
Danvy:2009:PJL, 22(2)191--195
-
Dargaye, Zaynah, 22(3)199--231
-
Dargaye:2009:VFH, 22(3)199--231
-
data, 12(4)309--335, 18(1)211--235, 25(1)3--38, 25(1)39--84
-
database, 21(1)5--35
-
Davis, Martin, 18(1)13--13
-
Davis:2005:ABP, 18(1)13--13
-
Debois, S{\o}ren, 21(1)37--58
-
Debois:2008:IPT, 21(1)37--58
-
debugging, 18(3)245--269, 21(1)147--192
-
declaration, 17(1)47--92
-
Declarative, 21(1)59--88
-
Declaring, 17(1)47--92
-
Decomposing, 19(4)377--414
-
Decomposition, 14(4)387--409
-
Deductive, 21(1)5--35
-
deep, 25(1)165--207
-
Definitional, 11(4)355--361, 11(4)363--397
-
definitions, 18(3)299--326
-
Deforest, 17(1)129--163
-
deforestation, 17(1)129--163
-
defunctionalization, 19(1)125--162, 20(3)319--332, 20(3)333--335
-
Degen, Markus, 25(1)85--125
-
Degen:2012:ICL, 25(1)85--125
-
delimited, 20(4)339--369, 20(4)371--401, 22(3)233--273, 22(3)275--291
-
deMoor:2003:URP, 16(1)15--35
-
Denotational, 19(4)415--463, 20(3)319--332, 20(3)333--335
-
dependent, 15(1)91--131, 16(4)341--377, 20(1)3--35, 23(4)489--506,
24(1)81--114
-
derivation, 18(1)15--49, 18(1)121--210, 19(4)345--376, 24(1)115--149
-
Deriving, 19(4)415--463
-
description, 22(1)67--80, 24(1)81--114
-
Desharnais, Jules, 18(1)51--77
-
Desharnais:2005:LRP, 18(1)51--77
-
Design, 16(4)379--400
-
determine, 16(4)379--400
-
determining, 16(4)379--400
-
developed, 16(4)379--400
-
developing, 21(1)89--118
-
development, 23(2)191--226
-
Diagrams, 15(4)301--348
-
dictionary, 19(1)125--162
-
Difference, Divided-, 16(1)93--149
-
differencing, 16(1)93--149, 18(1)15--49
-
differentiation, 14(1)35--57, 21(3)311--331
-
Dijkstra, Atze, 23(2)145--166
-
Dijkstra, Atze, see Middelkoop, Arie
-
Direct, 11(2)177--208
-
Directed, Type-, 14(2)173--219
-
Directly, 22(2)115--144
-
discrimination-based, 23(3)337--370
-
distributed, 14(4)357--386, 17(3)207--243, 20(3)295--318, 23(4)489--506
-
distributive, Pseudo-, 19(2)305--337
-
Divided, 16(1)93--149
-
Divided-Difference, 16(1)93--149
-
Document, 21(1)89--118
-
documents, 21(1)89--118
-
domain, 13(1)89--101, 14(2)143--172, 17(4)297--345, 19(1)31--100,
23(1)87--143
-
dominated, 18(1)15--49
-
Double-Barrelled, 15(2)141--160
-
Douence, Rémi, 14(1)7--34, 20(3)237--255
-
Douence:2001:GRT, 14(1)7--34
-
Douence:2007:NKM, 20(3)237--255
-
Dubé, Danny, 18(3)271--298
-
Dube:2005:BVC, 18(3)271--298
-
duplication, 21(1)37--58
-
Durán, Francisco, 21(1)59--88
-
Duran:2008:POT, 21(1)59--88
-
Dwyer, Matthew B., 13(4)315--353
-
Dwyer, Matthew B., see Hatcliff, John
-
Dybvig, R. K., 11(1)7--105
-
Dybvig, R. K., see Abelson, H.
-
Dybvig, R. Kent, 13(1)57--63, 18(3)299--326, 21(3)237--238
-
Dybvig, R. Kent, see Danvy, Olivier,
see Waddell, Oscar
-
Dybvig:2000:MSA, 13(1)57--63
-
dynamic, 11(3)233--279, 13(3)161--178, 16(1)37--62, 17(3)245--265,
19(1)101--124, 20(4)371--401, 21(1)147--192