Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
T
-
Taha, Walid, 24(1)81--114
-
Taha, Walid, see Salama, Cherif
-
Takano, Yasunao, 24(4)281--309
-
Takano, Yasunao, see Iwasaki, Hideya
-
Takeichi, Masato, 21(1)89--118
-
Takeichi, Masato, see Hu, Zhenjiang
-
Talcott, Carolyn, 11(1)5--5, 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(4)307--307, 15(1)5--5, 15(4)271--271,
16(3)159--159, 19(2)167--168, 19(4)343--344, 20(1)1--2
-
Talcott, Carolyn, see Basin, David,
see Danvy, Olivier, \see{Honsell, Furio,
see Kessler, Bob,
see Martí-Oliet, Narciso
-
Talcott, Carolyn L., 11(2)115--116, 11(3)281--343, 15(4)301--348,
22(2)113--113, 22(3)197--197, 22(4)293--293
-
Talcott, Carolyn L., see Danvy, Olivier,
see Smith, Scott F.
-
Talcott:1998:CSM, 11(3)281--343
-
Tanaka, Miki, 19(2)305--337
-
Tanaka:2006:PDL, 19(2)305--337
-
target, 16(4)379--400
-
technique, 14(1)7--34, 16(4)379--400, 17(3)207--243
-
temporal, 17(3)173--206
-
Tennent, R. D., 22(4)313--314
-
Tennent, Robert D., 13(1)119--129
-
Tennent., 22(4)315--329
-
Tennent:2000:AMS, 13(1)119--129
-
Tennent:2009:ILS, 22(4)313--314
-
term, 19(2)169--195, 19(2)231--262, 21(1)59--88
-
termination, 15(1)91--131, 21(1)59--88
-
testing, 25(2)209--253
-
TFP, 26(1)1--2
-
Than, 12(1)75--104
-
Thati, Prasanna, 20(1)123--160
-
Thati, Prasanna, see Meseguer, José
-
then, 16(4)379--400
-
theorem, 24(3)191--206
-
theoretic, proof-, 20(4)403--429
-
theoretic, type-, 22(3)233--273
-
theory, 11(3)233--279, 11(3)281--343, 14(4)387--409, 17(4)347--394,
19(2)169--195, 20(1)123--160
-
Thibault, Scott, 13(3)161--178
-
Thibault:2000:SDP, 13(3)161--178
-
Thielecke, Hayo, 11(2)117--123, 12(1)47--73, 15(2)141--160,
15(2)181--208, 20(4)337--338
-
Thielecke, Hayo, see Berdine, Josh,
see Danvy, Olivier
-
Thielecke:1998:ILG, 11(2)117--123
-
Thielecke:1999:UCT, 12(1)47--73
-
Thielecke:2002:CCC, 15(2)141--160
-
Thiemann, Peter, 16(4)295--295, 17(1)5--6, 19(1)5--5, 21(3)237--238,
23(3)371--407, 25(1)85--125
-
Thiemann, Peter, see Chin, Wei-Ngan,
see Danvy, Olivier, \see{Degen, Markus,
see Rudolph, Johannes
-
Thompson, Simon, 25(1)1--2
-
Thompson, Simon, see Kiselyov, Oleg
-
threads, 11(2)209--225, 18(3)327--354, 24(3)239--279, 24(4)387--387
-
three, 22(3)275--291
-
through, 16(4)379--400, 23(2)191--226, 24(3)239--279, 24(4)387--387
-
tier, multi-, 23(4)409--431
-
time, 23(3)371--407
-
Time, Linear-, 13(3)217--237
-
time, Polynomial-, 25(1)3--38
-
Time, Real-, 20(1)161--196
-
time, Real-, 20(1)161--196
-
time, real-, 18(3)271--298
-
Time, Run-, 12(4)337--375
-
Tofte, Mads, 17(3)245--265
-
Tofte:2004:RRB, 17(3)245--265
-
together, 16(4)379--400
-
Tomb, Aaron, 23(2)167--189
-
Tomb, Aaron, see Herman, David
-
Tony, 22(4)333--359
-
too, 16(4)379--400, 18(3)245--269
-
tools, 17(3)207--243, 21(3)311--331
-
Topics, 13(4)355--368
-
total, 21(1)193--234
-
Totally, 21(1)193--234, 21(1)235--235
-
Towards, 23(2)227--271
-
Tozawa, Akihiko, 15(1)7--55
-
Tozawa:2002:FAC, 15(1)7--55
-
trace, 21(3)239--282
-
trails, 21(1)147--192
-
transaction, 19(1)101--124
-
transducers, 17(1)129--163
-
Transform, 11(2)145--175
-
transformation, 17(1)129--163, 18(1)121--210, 18(1)211--235,
20(3)237--255, 21(1)5--35, 21(1)37--58, 21(1)59--88, 21(1)89--118,
21(1)119--146, 21(1)193--234, 21(1)235--235, 23(2)191--226,
26(1)29--62
-
Transformational, 18(1)15--49
-
transformed, 16(4)379--400
-
transition, 20(3)319--332
-
transition, State-, 20(3)319--332, 20(3)333--335
-
translation, 12(2)125--170, 16(3)253--285, 20(4)339--369
-
translators, 18(1)211--235
-
traversals, 23(4)433--463, 25(1)3--38
-
tree, 14(2)143--172, 14(4)357--386, 17(1)129--163
-
tremendous, 16(4)379--400
-
Trends, 23(4)465--487
-
Trinder, P. W., 16(3)203--251
-
Trinder, P. W., see Loidl, H.-W.
-
tuples, 21(3)333--358
-
tupling, 17(1)129--163
-
Twice, 12(1)47--73
-
two, 23(1)87--143
-
type, 6(3)361--380, 12(3)237--282, 14(2)261--300, 15(1)91--131,
16(4)401--401, 19(1)125--162, 20(1)3--35, 20(4)339--369,
21(3)239--282, 21(4)411--442, 22(2)155--189, 23(1)1--27,
23(4)489--506, 24(1)3--39, 24(1)81--114, 25(2)255--274,
25(2)275--310, 26(1)29--62
-
Type-Based, 14(2)221--260
-
Type-Directed, 14(2)173--219
-
Type-Inference, 13(3)239--278
-
Type-preserving, 19(1)125--162
-
type-safe, 23(3)371--407
-
Type-specialized, 24(4)341--385
-
type-theoretic, 22(3)233--273
-
typed, 15(1)57--90, 19(1)125--162, 24(4)311--340, 25(1)127--163
-
typing, 22(3)275--291, 23(2)167--189