Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
B
-
back, 16(4)379--400
-
Barker, Steve, 21(1)5--35
-
Barker:2008:EFA, 21(1)5--35
-
Barrelled, Double-, 15(2)141--160
-
Barthe, Gilles, 12(2)125--170
-
Barthe:1999:CTA, 12(2)125--170
-
Bartley, D. H., 11(1)7--105
-
Bartley, D. H., see Abelson, H.
-
based, 21(1)89--118, 21(1)147--192
-
Based, Continuation-, 12(3)283--283, 12(3)285--299
-
based, discrimination-, 23(3)337--370
-
based, Graph-, 26(1)3--28
-
Based, Region-, 17(3)245--265
-
based, rule-, 21(1)59--88
-
based, semantics-, 17(1)47--92
-
Based, Set-, 18(3)245--269
-
based, set-, 18(3)245--269
-
Based, Type-, 14(2)221--260
-
basic, 16(4)379--400
-
Basin, David, 16(3)159--159, 17(3)171--171
-
Basin:2003:E, 16(3)159--159
-
Basin:2004:E, 17(3)171--171
-
become, 16(4)379--400
-
been, 16(4)379--400
-
Berdine, Josh, 15(2)181--208
-
Berdine:2002:LCP, 15(2)181--208
-
Bertolissi, Clara, 19(4)345--376
-
Bertolissi:2006:ECR, 19(4)345--376
-
Beyond, 12(2)125--170
-
Biagioni, Edoardo, 11(2)209--225, 14(4)309--356
-
Biagioni:1998:SST, 11(2)209--225
-
Biagioni:2001:NPS, 14(4)309--356
-
bidirectional, 21(1)89--118
-
big, 16(4)379--400
-
Binder, Walter, 21(1)119--146
-
Binder, Walter, see Hulaas, Jarle
-
binders, 19(2)231--262
-
binding, 11(3)233--279, 18(3)299--326, 19(2)231--262, 19(2)263--282,
19(2)305--337
-
Birkedal, Lars, 17(3)245--265
-
Birkedal, Lars, see Tofte, Mads
-
Bischof, Christian H., 21(3)311--331
-
Bischof:2008:IAD, 21(3)311--331
-
Bisimilarity, 17(4)347--394
-
bisimulation, 17(4)347--394
-
BIT, 18(3)271--298
-
Blelloch, Guy, 16(4)379--400
-
Blelloch, Guy, see Nanevski, Aleksandar
-
Bob, 18(1)9--11, 18(1)13--13, 22(4)315--329
-
Boca, Paul P., 22(4)299--303
-
Boca:2009:PRP, 22(4)299--303
-
Boccardo, Davidson R., 23(3)275--313
-
Boccardo, Davidson R., see Lakhotia, Arun
-
Bornat, Richard, 22(4)295--298
-
Bornat:2009:PLA, 22(4)295--298
-
Boudol, Gérard, 11(2)177--208
-
Boudol:1998:CDS, 11(2)177--208
-
bounded;, input-, 18(1)15--49
-
bounded;, output-, 18(1)15--49
-
Boustani, Nabil el, 24(1)3--39
-
box, 23(2)191--226
-
Bresson, Jean, 22(1)81--111
-
Bresson:2009:VLC, 22(1)81--111
-
Brooks, G., 11(1)7--105
-
Brooks, G., see Abelson, H.
-
{BTI}-universal, 21(3)283--309
-
Bull, Tristan, 25(2)255--274
-
Bull, Tristan, see Gill, Andy
-
Burstall, Rod, 13(1)51--55
-
Burstall:2000:CSU, 13(1)51--55
-
by-name;, Call-, 19(4)377--414
-
by-name, call-, 19(4)377--414, 20(3)199--207
-
by-need;, Call-, 20(3)257--270
-
by-push-value:, Call-, 19(4)377--414
-
by-push-value;, Call-, 19(4)377--414
-
by-Value, Call-, 15(2)235--264
-
by-value;, Call-, 19(4)377--414
-
by-value, call-, 19(4)377--414, 22(1)3--66
-
byte-code, 18(3)271--298
-
bytecode, 21(1)119--146, 23(1)29--86, 23(3)371--407, 25(2)209--253