Index file section T for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
T
-
T, 5(z)16--16
-
t, 5(z)1--1
-
Ta, Quang-Trung, 2(z)9--9
-
Ta:2018:ALS, 2(z)9--9
-
Tabareau, 3(z)108--108
-
Tabareau, Nicolas, 2(z)92--92, 3(z)3--3, 3(z)108--108, 4(z)8--8,
4(z)58--58, 5(z)60--60, 6(z)32--32, 6(z)124--124, 7(z)74--74
-
Tabareau, Nicolas, see Cockx, Jesper,
see Gilbert, Gaëtan,
see Maillard, Kenji,
see Pujet, Loïc,
see Pédrot, Pierre-Marie,
see Sozeau, Matthieu
-
Tabareau:2018:EFU, 2(z)92--92
-
table, 2(z)74--74, 3(z)117--117, 3(z)130--130, 4(z)222--222,
5(z)134--134, 6(z)116--116, 6(z)182--182, 7(z)293--293
-
tackle, 4(z)60--60, 5(z)124--124, 6(z)36--36, 6(z)88--88, 6(z)159--159,
7(z)141--141, 8(z)75--75
-
tactics, 2(z)77--77, 2(z)78--78
-
TacTok, 4(z)231--231
-
tail, 7(z)40--40
-
tail-recursion, 7(z)40--40
-
tail-recursive, 7(z)40--40
-
tailored, 3(z)125--125, 3(z)147--147
-
taint, 1(z)102--102
-
Taint-Based, 8(z)134--134
-
take, 2(z)69--69, 3(z)170--170, 4(z)108--108, 4(z)111--111, 4(z)157--157,
5(z)121--121, 6(z)44--44, 6(z)148--148, 7(z)77--77, 7(z)85--85,
7(z)130--130, 7(z)139--139, 7(z)142--142, 7(z)160--160
-
taken, 3(z)156--156, 4(z)130--130, 6(z)153--153, 7(z)234--234
-
Taking, 6(z)9--9, 7(z)60--60
-
Tal, Arie, 2(z)108--108
-
Tal, Arie, see Daloze, Benoit
-
taming, 4(z)191--191, 4(z)209--209, 5(z)47--47, 5(z)60--60, 6(z)180--180,
7(z)252--252
-
Tamir, Orr, 7(z)288--288
-
Tamir:2023:CDQ, 7(z)288--288
-
Tan, Bryan, 6(z)4--4
-
Tan, Gang, 3(z)130--130, 5(z)129--129, 5(z)151--151, 7(z)150--150,
7(z)274--274
-
Tan, Gang, see Brotzman, Robert,
see Jia, Xiaodong, \see{Ma, Cong,
see Wang, Yu-Ping, \see{Zhang, Jialun
-
Tan, Shangyin, 4(z)164--164
-
Tan, Shangyin, see Wei, Guannan
-
Tan, Shin Hwei, 7(z)119--119
-
Tan, Shin Hwei, see Lei, Yuxiang
-
Tan, Tian, 2(z)141--141, 5(z)147--147, 7(z)128--128, 7(z)230--230
-
Tan, Tian, see Chen, Qinlin, \see{Li, Yue,
see Ma, Wenjie
-
Tan, Wende, 3(z)130--130
-
Tan, Wende, see Wang, Yu-Ping
-
Tan, Yong Kiam, 1(z)18--18, 4(z)204--204, 7(z)152--152
-
Tan, Yong Kiam, see Gómez-Londoño, Alejandro,
see Owens, Scott, \see{Sewell, Thomas
-
Tan, Zujun, 8(z)110--110
-
Tan, Zujun, see Xu, Ziyang
-
Tan:2021:MPA, 5(z)147--147
-
Tan:2022:SRT, 6(z)4--4
-
Tanahashi, Kento, 7(z)6--6
-
Tanahashi, Kento, see Kobayashi, Naoki
-
tandem, 1(z)92--92
-
Tang, Nan, 4(z)170--170
-
Tang, Nan, see Feser, John
-
Tang, Qiyi, 3(z)155--155
-
Tang, Qiyi, see Marcozzi, Michaël
-
Tang, Shizhi, 7(z)246--246
-
Tang, Shizhi, see Cao, Huanqi
-
Tang, Wenhao, 7(z)260--260, 8(z)54--54
-
Tang, Wensheng, 6(z)68--68
-
Tang, Wensheng, see Wang, Chengpeng
-
Tang:2023:SSP, 7(z)260--260
-
Tang:2024:SHL, 8(z)54--54
-
tangent, 7(z)54--54
-
Tangents, 7(z)43--43
-
tangible, 3(z)155--155
-
Tannu, Swamit, 7(z)140--140
-
Tannu, Swamit, see Xu, Amanda
-
Tanovic, Milica, Hadzi-, 3(z)187--187
-
Tanter, 4(z)46--46
-
Tanter, Éric, 2(z)92--92, 2(z)132--132, 3(z)17--17, 3(z)88--88,
3(z)104--104, 3(z)108--108, 4(z)228--228, 5(z)126--126, 6(z)70--70,
6(z)96--96, 6(z)124--124, 8(z)74--74,
see Andrici, Cezar-Constantin,
see Eremondi, Joseph,
see Labrada, Elizabeth,
see Maillard, Kenji,
see Malewski, Stefan,
see Pédrot, Pierre-Marie,
see Tabareau, Nicolas,
see Toro, Matías, \see{Vazou, Niki,
see Wise, Jenna
-
Tao, Guanhong, 3(z)137--137
-
Tao, Guanhong, see Zhang, Zhuo
-
Tao, Runzhou, 8(z)35--35, 8(z)59--59
-
Tao, Runzhou, see Deng, Haowei,
see Yao, Jianan
-
Tao, Yonggang, 7(z)256--256
-
Tao, Yonggang, see He, Dongjie
-
Tao, Zhe, 7(z)124--124
-
Tao:2023:APP, 7(z)124--124
-
Tape, 7(z)64--64
-
Tardieu, Olivier, 7(z)159--159
-
Tardieu:2023:RAR, 7(z)159--159
-
Tarek Ibn Ziad, Mohamed, 7(z)111--111
-
target, 2(z)126--126, 3(z)78--78, 3(z)95--95, 3(z)140--140, 4(z)2--2,
4(z)129--129, 4(z)199--199, 5(z)22--22, 5(z)87--87, 5(z)121--121,
5(z)157--157, 6(z)90--90, 6(z)148--148, 7(z)238--238, 7(z)264--264
-
Target, Single-Source-Single-, 7(z)35--35
-
targeted, 7(z)68--68
-
targeting, 6(z)55--55
-
Tariq, Muhammad Usman, 8(z)103--103
-
Tariq, Muhammad Usman, see Sundram, Shiv
-
Tasiran, Serdar, 1(z)91--91
-
Tasiran, Serdar, see Ringer, Talia
-
task, 1(z)103--103, 2(z)47--47, 2(z)85--85, 2(z)149--149, 3(z)26--26,
3(z)94--94, 3(z)99--99, 3(z)125--125, 3(z)136--136, 3(z)143--143,
3(z)159--159, 3(z)172--172, 3(z)177--177, 4(z)34--34, 4(z)49--49,
4(z)60--60, 4(z)132--132, 4(z)137--137, 4(z)142--142, 4(z)144--144,
4(z)151--151, 4(z)159--159, 4(z)162--162, 4(z)187--187,
4(z)198--198, 4(z)201--201, 4(z)205--205, 5(z)34--34, 5(z)100--100,
5(z)138--138, 5(z)158--158, 6(z)17--17, 6(z)30--30, 6(z)139--139,
6(z)164--164, 6(z)177--177, 7(z)121--121, 7(z)186--186,
7(z)187--187, 7(z)248--248, 7(z)287--287, 7(z)288--288, 8(z)11--11,
8(z)18--18, 8(z)63--63, 8(z)94--94, 8(z)107--107, 8(z)112--112,
8(z)132--132
-
task-local, 8(z)11--11
-
tasked, 4(z)104--104
-
Tassarotti, Joseph, 2(z)77--77, 6(z)57--57, 6(z)100--100, 7(z)131--131,
8(z)26--26
-
Tassarotti, Joseph, see Bao, Jialu,
see Gregersen, Simon Oddershede,
see Krebbers, Robbert, \see{Spies, Simon
-
Tassarotti:2023:VDC, 7(z)131--131
-
Tasson, Christine, 2(z)59--59
-
Tasson, Christine, see Ehrhard, Thomas
-
TASTyTruffle, 7(z)277--277
-
Tate, 6(z)138--138
-
Tate, Ross, 1(z)56--56, 2(z)88--88, 2(z)112--112, 4(z)207--207,
5(z)127--127, 5(z)150--150
-
Tate, Ross, see Belyakova, Julia,
see Hirsch, Andrew K.,
see Muehlboeck, Fabian,
see Pelenitsyn, Artem
-
Tatlock, Zachary, 1(z)25--25, 2(z)28--28, 2(z)99--99, 3(z)151--151,
5(z)23--23, 5(z)119--119, 6(z)35--35, 7(z)14--14, 7(z)125--125,
7(z)258--258
-
Tatlock, Zachary, see Cao, David,
see Nandi, Chandrakana, \see{Pal, Anjali,
see Panchekha, Pavel, \see{Sergey, Ilya,
see Weitz, Konstantin, \see{Willsey, Max,
see Zhang, Yihong
-
Taube, Marcelo, 7(z)288--288
-
Taube, Marcelo, see Tamir, Orr
-
Tavares, Zenna, 7(z)56--56
-
Tavares, Zenna, see Das, Ria
-
taxation, 6(z)27--27
-
Taylor, 4(z)1--1
-
Taylor, Ian Lance, 4(z)149--149
-
Taylor, Ian Lance, see Griesemer, Robert
-
Taylor, Max, 8(z)100--100
-
Taylor, Max, see Lamba, Ada
-
Taype, 7(z)147--147
-
Taypsi, 8(z)144--144
-
TCP, 3(z)29--29
-
teaching, 2(z)82--82, 3(z)115--115, 3(z)116--116, 4(z)116--116,
6(z)102--102, 8(z)116--116
-
teams, 4(z)87--87
-
technical, 3(z)107--107, 3(z)189--189, 4(z)34--34, 4(z)77--77,
4(z)81--81, 6(z)116--116
-
technicalities, 3(z)167--167
-
technology, 2(z)137--137, 2(z)153--153, 3(z)125--125, 3(z)135--135,
3(z)151--151, 3(z)185--185, 4(z)11--11, 4(z)80--80, 4(z)151--151,
5(z)100--100, 7(z)118--118, 7(z)244--244
-
Tedeschi, Gabriele, 8(z)43--43
-
Tedeschi, Gabriele, see Ceragioli, Lorenzo
-
tedious, 3(z)170--170, 4(z)219--219
-
Tejiscák, Matús, 4(z)91--91
-
Tejiscak:2020:DTC, 4(z)91--91
-
tell, 4(z)77--77, 6(z)54--54
-
Tempest, Alanna, 5(z)130--130
-
Tempest, Alanna, see Shen, Xipeng
-
template, 5(z)109--109, 6(z)61--61, 7(z)163--163
-
Template-Based, 7(z)100--100
-
Template-based, 7(z)100--100
-
temporal, 2(z)91--91, 3(z)26--26, 4(z)20--20, 4(z)54--54, 4(z)123--123,
4(z)161--161, 4(z)176--176, 4(z)201--201, 6(z)74--74, 6(z)127--127,
7(z)71--71, 7(z)72--72, 7(z)86--86, 7(z)108--108, 7(z)182--182,
8(z)57--57
-
temporal, non-, 6(z)22--22
-
temporary, 4(z)80--80, 7(z)223--223
-
temps, 6(z)74--74
-
ten-day, 4(z)77--77
-
tend, 6(z)57--57
-
Tenenbaum, Joshua B., 7(z)41--41, 7(z)56--56
-
Tenenbaum, Joshua B., see Bowers, Matthew,
see Das, Ria
-
tens, 7(z)108--108
-
tension, 4(z)58--58, 6(z)124--124
-
tensor, 1(z)77--77, 2(z)123--123, 4(z)57--57, 4(z)158--158, 4(z)166--166,
5(z)50--50, 6(z)55--55, 6(z)73--73, 6(z)84--84, 6(z)175--175,
7(z)122--122, 7(z)229--229
-
tensor-program, 6(z)55--55
-
TensorFloat32, 5(z)29--29
-
Ter-Gabrielyan, Arshavir, 3(z)121--121
-
Ter-Gabrielyan:2019:MVH, 3(z)121--121
-
Terauchi, Tachio, 2(z)12--12, 7(z)72--72, 7(z)173--173, 8(z)5--5
-
Terauchi, Tachio, see Chida, Nariyoshi,
see Kawamata, Fuga, \see{Unno, Hiroshi
-
Tereick, Carl Friedrich, Bolz-, 1(z)52--52, 1(z)54--54
-
term, 2(z)123--123, 3(z)9--9, 3(z)91--91, 3(z)120--120, 3(z)138--138,
3(z)158--158, 3(z)189--189, 4(z)12--12, 4(z)15--15, 4(z)27--27,
4(z)57--57, 4(z)95--95, 4(z)97--97, 4(z)112--112, 4(z)115--115,
4(z)119--119, 4(z)124--124, 4(z)161--161, 4(z)166--166, 5(z)78--78,
5(z)137--137, 6(z)4--4, 6(z)8--8, 6(z)9--9, 6(z)10--10, 6(z)111--111,
6(z)121--121, 7(z)8--8, 7(z)57--57, 7(z)68--68, 7(z)253--253,
8(z)15--15, 8(z)35--35, 8(z)58--58, 8(z)77--77, 8(z)115--115
-
term, long-, 3(z)168--168, 4(z)54--54
-
term, Near-, 7(z)140--140
-
terminates, 3(z)129--129, 6(z)87--87
-
terminating, 6(z)116--116, 7(z)99--99
-
terminating, non-, 3(z)4--4
-
termination, 2(z)33--33, 2(z)34--34, 2(z)35--35, 3(z)129--129,
3(z)166--166, 4(z)25--25, 4(z)122--122, 4(z)189--189, 4(z)199--199,
5(z)13--13, 5(z)26--26, 5(z)32--32, 5(z)44--44, 5(z)98--98, 6(z)5--5,
7(z)21--21, 7(z)85--85, 8(z)7--7, 8(z)37--37
-
termination, non-, 4(z)189--189
-
termination-insensitive, 5(z)10--10, 7(z)68--68
-
termination-sensitive, 5(z)26--26
-
terrifying, 2(z)79--79
-
test, 1(z)90--90, 1(z)91--91, 1(z)92--92, 2(z)113--113, 2(z)157--157,
2(z)161--161, 3(z)78--78, 3(z)117--117, 3(z)142--142, 3(z)158--158,
3(z)177--177, 3(z)187--187, 3(z)188--188, 4(z)11--11, 4(z)41--41,
4(z)43--43, 4(z)61--61, 4(z)78--78, 4(z)202--202, 4(z)205--205,
4(z)210--210, 5(z)104--104, 5(z)148--148, 5(z)166--166, 6(z)29--29,
7(z)75--75, 7(z)157--157, 7(z)200--200
-
test-input, 1(z)94--94
-
tested, 2(z)102--102, 3(z)160--160, 7(z)230--230
-
testers, 4(z)136--136
-
testing, 1(z)2--2, 1(z)90--90, 1(z)93--93, 2(z)46--46, 2(z)102--102,
2(z)159--159, 2(z)160--160, 3(z)155--155, 3(z)174--174,
3(z)180--180, 3(z)181--181, 3(z)187--187, 4(z)150--150,
4(z)153--153, 4(z)165--165, 4(z)193--193, 4(z)196--196,
4(z)202--202, 4(z)210--210, 4(z)226--226, 4(z)230--230,
5(z)123--123, 5(z)131--131, 5(z)132--132, 5(z)148--148,
5(z)152--152, 5(z)154--154, 5(z)166--166, 6(z)64--64, 6(z)122--122,
6(z)190--190, 7(z)101--101, 7(z)126--126, 7(z)157--157,
7(z)180--180, 7(z)193--193, 7(z)200--200, 7(z)218--218, 8(z)32--32,
8(z)62--62, 8(z)66--66, 8(z)77--77, 8(z)123--123
-
testing, stress-, 7(z)181--181
-
TestU01, 5(z)148--148
-
text, 2(z)103--103, 3(z)170--170, 4(z)74--74, 4(z)81--81, 4(z)137--137,
4(z)212--212, 4(z)222--222, 5(z)125--125
-
textual, 4(z)87--87, 4(z)222--222, 7(z)293--293
-
Thakkar, Aalok, 7(z)271--271
-
Thakkar:2023:MSR, 7(z)271--271
-
Thakur, Aditya V., 4(z)14--14, 7(z)124--124
-
Thakur, Aditya V., see Kim, Sung Kook,
see Tao, Zhe
-
Thakur, Manas, 7(z)263--263
-
Thakur, Manas, see Mehta, Meetesh Kalpesh
-
than, 2(z)108--108, 2(z)134--134, 3(z)2--2, 3(z)24--24, 3(z)103--103,
3(z)124--124, 3(z)158--158, 3(z)160--160, 3(z)169--169, 4(z)23--23,
4(z)71--71, 4(z)73--73, 4(z)74--74, 4(z)79--79, 4(z)84--84,
4(z)91--91, 4(z)132--132, 4(z)133--133, 4(z)147--147, 4(z)177--177,
5(z)51--51, 5(z)148--148, 6(z)3--3, 6(z)21--21, 6(z)116--116,
6(z)148--148, 6(z)153--153, 6(z)162--162, 7(z)68--68, 7(z)193--193,
7(z)263--263, 8(z)118--118
-
thanks, 4(z)145--145, 7(z)233--233
-
that, inputs-, 4(z)107--107
-
the, depth-, 2(z)160--160
-
the, system-, 4(z)114--114
-
the-art, state-of-, 2(z)83--83, 2(z)109--109, 3(z)120--120,
3(z)147--147, 3(z)151--151, 3(z)160--160, 3(z)170--170, 4(z)60--60,
6(z)4--4, 6(z)25--25, 6(z)52--52, 6(z)159--159, 7(z)233--233,
8(z)9--9, 8(z)32--32, 8(z)112--112
-
the-Fly, On-, 8(z)42--42
-
the-shelf, off-, 2(z)47--47, 3(z)189--189
-
Thelin, Jorgen, 1(z)107--107
-
Thelin, Jorgen, see Bernstein, Philip A.
-
theme, 8(z)71--71
-
themselves, 4(z)89--89, 4(z)182--182, 6(z)109--109
-
then, 2(z)66--66, 2(z)146--146, 3(z)21--21, 3(z)99--99, 3(z)142--142,
3(z)189--189, 4(z)7--7, 4(z)52--52, 4(z)71--71, 4(z)97--97,
4(z)109--109, 4(z)130--130, 5(z)148--148, 6(z)54--54, 6(z)104--104,
7(z)76--76, 7(z)253--253, 7(z)263--263
-
Theodoridis, Theodoros, 4(z)195--195
-
Theodoridis, Theodoros, see Grosser, Tobias
-
theorem, 1(z)39--39, 3(z)15--15, 3(z)85--85, 3(z)142--142, 4(z)46--46,
4(z)58--58, 4(z)86--86, 5(z)23--23, 5(z)68--68, 5(z)81--81,
5(z)119--119, 6(z)69--69, 6(z)116--116, 6(z)143--143, 7(z)42--42,
7(z)172--172, 7(z)253--253, 8(z)58--58, 8(z)65--65
-
theorem, Meta-, 7(z)80--80
-
theoretic, 7(z)167--167
-
theoretic, automata-, 6(z)10--10
-
theoretic, category-, 6(z)44--44
-
theoretic, lattice-, 3(z)26--26
-
Theoretic, Order-, 7(z)57--57
-
theoretic, recursion-, 8(z)37--37
-
theoretic, type-, 5(z)27--27, 7(z)234--234
-
theoretical, 2(z)160--160, 4(z)203--203, 5(z)15--15, 5(z)167--167,
6(z)14--14, 6(z)53--53, 6(z)179--179, 7(z)253--253
-
theoretical, type-, 2(z)81--81
-
theoreticians, 5(z)68--68
-
theory, Inter-, 4(z)192--192
-
theory, type-, 5(z)27--27
-
there, 2(z)66--66, 2(z)68--68, 2(z)106--106, 2(z)108--108, 2(z)145--145,
3(z)7--7, 3(z)79--79, 3(z)91--91, 3(z)98--98, 3(z)107--107,
3(z)112--112, 3(z)120--120, 3(z)141--141, 3(z)153--153,
3(z)189--189, 4(z)58--58, 4(z)81--81, 4(z)107--107, 4(z)180--180,
4(z)182--182, 4(z)185--185, 4(z)189--189, 4(z)192--192, 5(z)54--54,
5(z)101--101, 5(z)127--127, 5(z)135--135, 5(z)144--144,
5(z)146--146, 5(z)157--157, 6(z)18--18, 6(z)21--21, 6(z)40--40,
6(z)41--41, 6(z)71--71, 6(z)116--116, 6(z)131--131, 6(z)160--160,
6(z)170--170, 6(z)186--186, 7(z)1--1, 7(z)26--26, 7(z)55--55,
7(z)92--92, 7(z)94--94, 7(z)97--97, 7(z)189--189, 7(z)240--240,
7(z)247--247, 8(z)21--21, 8(z)78--78, 8(z)123--123, 8(z)136--136
-
thereby, 2(z)109--109, 4(z)29--29, 4(z)136--136, 5(z)161--161,
6(z)38--38
-
therefore, 2(z)86--86, 2(z)147--147, 3(z)3--3, 4(z)114--114,
4(z)127--127, 4(z)212--212, 5(z)122--122, 6(z)116--116,
7(z)140--140
-
Thiemann, Peter, 1(z)38--38, 4(z)67--67, 4(z)103--103, 5(z)108--108,
7(z)163--163, 7(z)212--212
-
Thiemann, Peter, see Fu, Weili,
see Igarashi, Atsushi,
see Mordido, Andreia,
see Radanne, Gabriel
-
Thiemann:2020:LDS, 4(z)67--67
-
Thiemann:2023:ITS, 7(z)212--212
-
Thijm, Timothy Alberdingk, 7(z)108--108
-
Thijm:2023:MCP, 7(z)108--108
-
Thin, 7(z)165--165
-
thin-air'', ``out-of-, 2(z)136--136
-
thin-air, out-of-, 2(z)136--136
-
thing, 3(z)3--3, 7(z)278--278
-
think, 5(z)48--48
-
thinking, 2(z)71--71
-
Thinniyam, Ramanathan S., 5(z)44--44, 6(z)17--17, 7(z)73--73, 8(z)4--4
-
Thinniyam, Ramanathan S., see Balasubramanian, A. R.,
see Baumann, Pascal
-
third-party, 4(z)74--74, 5(z)84--84, 5(z)161--161, 6(z)27--27,
7(z)117--117
-
thirst, 2(z)134--134
-
Thokair, Mosaad, Al, 7(z)45--45
-
Thomson, Patrick, 6(z)108--108
-
Thomson, Paul, 1(z)93--93
-
Thomson, Paul, see Donaldson, Alastair F.
-
Thomson:2022:FIA, 6(z)108--108
-
thorough, 5(z)148--148, 6(z)86--86, 8(z)124--124
-
though, 2(z)165--165, 4(z)43--43, 4(z)146--146, 4(z)224--224,
5(z)102--102, 6(z)81--81, 6(z)148--148, 7(z)245--245, 8(z)88--88,
8(z)125--125
-
thought, 4(z)222--222, 6(z)128--128
-
thousand, 3(z)147--147, 3(z)158--158, 4(z)195--195, 6(z)142--142,
7(z)108--108
-
thread, 2(z)108--108, 3(z)124--124, 3(z)133--133, 3(z)173--173,
3(z)177--177, 5(z)31--31, 5(z)44--44, 5(z)148--148, 6(z)17--17,
6(z)67--67, 6(z)158--158, 7(z)36--36, 7(z)135--135, 8(z)38--38,
8(z)123--123
-
thread, inter-, 8(z)21--21
-
thread-compositional, 4(z)194--194
-
thread-safe, 2(z)107--107, 2(z)108--108
-
thread-safety, 5(z)121--121
-
threaded, Multi-, 2(z)95--95
-
threaded, multi-, 2(z)107--107, 5(z)44--44, 6(z)22--22
-
threaded, single-, 2(z)108--108, 3(z)133--133
-
threading, 2(z)95--95
-
threat, 3(z)182--182, 7(z)86--86
-
three, 2(z)71--71, 3(z)16--16, 3(z)186--186, 4(z)43--43, 4(z)136--136,
7(z)77--77
-
three-level, 3(z)93--93
-
three-way, 2(z)165--165
-
Thriving, 4(z)70--70
-
through, 1(z)1--1, 1(z)19--19, 1(z)44--44, 2(z)66--66, 2(z)92--92,
2(z)109--109, 2(z)116--116, 2(z)164--164, 3(z)94--94, 3(z)134--134,
3(z)147--147, 3(z)158--158, 3(z)166--166, 3(z)170--170, 4(z)7--7,
4(z)15--15, 4(z)72--72, 4(z)74--74, 4(z)85--85, 4(z)95--95,
4(z)134--134, 4(z)136--136, 4(z)147--147, 4(z)175--175,
4(z)195--195, 4(z)233--233, 5(z)51--51, 5(z)94--94, 5(z)112--112,
5(z)130--130, 5(z)152--152, 5(z)159--159, 5(z)162--162,
5(z)167--167, 6(z)45--45, 6(z)84--84, 6(z)116--116, 6(z)156--156,
7(z)75--75, 7(z)79--79, 7(z)146--146, 8(z)32--32, 8(z)42--42,
8(z)49--49, 8(z)123--123, 8(z)131--131
-
throughout, 2(z)66--66, 5(z)77--77
-
throughput, 2(z)95--95, 4(z)147--147, 5(z)25--25, 6(z)125--125
-
thunk, 8(z)50--50
-
Thunks, 8(z)50--50
-
thus, 2(z)116--116, 3(z)4--4, 3(z)125--125, 3(z)158--158, 3(z)160--160,
3(z)162--162, 4(z)60--60, 4(z)84--84, 4(z)157--157, 5(z)18--18,
5(z)81--81, 6(z)12--12, 7(z)116--116, 7(z)253--253, 7(z)283--283
-
Thy, Sewen, 7(z)245--245
-
Thy:2023:ALE, 7(z)245--245
-
Tian, Samuel, 7(z)158--158
-
Tian, Samuel, see Kuepper, Joel
-
Tian, Yongqiang, 7(z)97--97
-
Tian, Yongqiang, see Xu, Zhenyang
-
tick, 5(z)87--87
-
tied, 4(z)74--74
-
tier, 3(z)28--28, 6(z)148--148
-
tight, 2(z)47--47, 2(z)94--94, 5(z)104--104, 7(z)104--104
-
tighter, 7(z)253--253
-
tightness, 7(z)253--253
-
Tiling, 7(z)188--188
-
Timany, Amin, 2(z)64--64, 2(z)77--77, 3(z)105--105, 4(z)45--45,
4(z)114--114, 5(z)6--6, 5(z)7--7, 5(z)10--10, 5(z)42--42, 6(z)82--82,
6(z)188--188, 7(z)165--165, 7(z)217--217, 8(z)9--9, 8(z)12--12,
8(z)20--20
-
Timany, Amin, see Frumin, Dan,
see Georges, Aïna Linn,
see Giarrusso, Paolo G.,
see Gondelman, Léon,
see Gregersen, Simon Oddershede,
see Jacobs, Koen, \see{Jung, Ralf,
see Krebbers, Robbert, \see{Liu, Zongyuan,
see Nieto, Abel
-
Timany:2018:LRM, 2(z)64--64
-
Timany:2019:MRV, 3(z)105--105
-
Timany:2024:LEW, 8(z)20--20
-
Timany:2024:THO, 8(z)9--9
-
time, 2(z)94--94, 2(z)97--97, 2(z)100--100, 2(z)120--120, 3(z)23--23,
3(z)83--83, 3(z)140--140, 3(z)157--157, 3(z)158--158, 3(z)162--162,
3(z)169--169, 3(z)177--177, 3(z)184--184, 4(z)10--10, 4(z)11--11,
4(z)15--15, 4(z)25--25, 4(z)27--27, 4(z)46--46, 4(z)61--61,
4(z)71--71, 4(z)73--73, 4(z)76--76, 4(z)97--97, 4(z)132--132,
4(z)144--144, 4(z)183--183, 5(z)48--48, 5(z)51--51, 5(z)92--92,
5(z)108--108, 6(z)4--4, 6(z)35--35, 6(z)41--41, 6(z)48--48,
6(z)49--49, 6(z)116--116, 6(z)140--140, 6(z)148--148, 6(z)160--160,
7(z)9--9, 7(z)28--28, 7(z)68--68, 7(z)105--105, 7(z)171--171,
7(z)177--177, 7(z)253--253, 7(z)268--268, 8(z)50--50, 8(z)76--76,
8(z)121--121
-
time'', constant-, 4(z)7--7
-
time, ahead-of-, 4(z)168--168
-
time, binding-, 6(z)172--172
-
time, compile-, 1(z)55--55, 7(z)209--209
-
time, constant-, 4(z)7--7
-
time?, constant-, 4(z)7--7
-
time, continuous-, 4(z)134--134
-
time, discrete-, 6(z)65--65
-
Time, Just-in-, 7(z)9--9, 7(z)263--263, 7(z)277--277
-
time, Just-in-, 2(z)124--124, 4(z)227--227, 5(z)46--46,
7(z)263--263
-
time, just-in-, 2(z)109--109, 2(z)120--120, 3(z)177--177,
5(z)70--70
-
time, one-, 3(z)160--160
-
time, Real-, 4(z)183--183, 6(z)127--127
-
time, real-, 4(z)20--20
-
Time, Run-, 7(z)231--231
-
time, run-, 2(z)162--162, 3(z)7--7, 3(z)11--11, 3(z)29--29,
3(z)101--101, 3(z)158--158, 4(z)47--47, 4(z)155--155, 5(z)46--46,
5(z)53--53, 7(z)241--241, 8(z)11--11
-
time-consuming, 2(z)129--129, 4(z)171--171
-
time-series, 4(z)183--183
-
time., 4(z)73--73
-
timeline, 4(z)20--20, 4(z)74--74, 6(z)127--127, 7(z)120--120
-
Timely, 7(z)219--219
-
timeouts, 2(z)116--116
-
timestamped, 3(z)156--156
-
timestamps, 3(z)156--156
-
timing, 4(z)7--7, 4(z)50--50, 4(z)147--147
-
TiML, 1(z)79--79
-
Tip, Frank, 1(z)66--66, 1(z)86--86, 2(z)161--161, 2(z)162--162,
5(z)160--160
-
Tip, Frank, see Adamsen, Christoffer Quist,
see Alimadadi, Saba,
see Gokhale, Satyajit,
see Madsen, Magnus,
see Selakovic, Marija
-
Titzer, Ben L., 6(z)148--148
-
Titzer:2022:FPI, 6(z)148--148
-
Tiwari, Ashish, 3(z)143--143, 4(z)219--219, 5(z)158--158, 6(z)139--139,
6(z)164--164, 7(z)33--33
-
Tiwari, Ashish, see Bavishi, Rohan,
see Cambronero, José, \see{Gao, Xiang,
see Miltner, Anders, \see{Rahmani, Kia,
see Zhang, Yuhao
-
Tiwari, Shrey, 7(z)282--282
-
Tiwari, Shrey, see Shadab, Narges
-
Tjoa, Ryan, 7(z)258--258
-
Tjoa, Ryan, see Pal, Anjali
-
TLA+, 3(z)123--123
-
TLC, 4(z)123--123
-
Tlön, 6(z)101--101
-
TM, 6(z)189--189
-
to, go-, 7(z)45--45
-
to, point-, 5(z)34--34
-
to, points-, 1(z)100--100, 1(z)102--102, 2(z)140--140,
2(z)142--142, 3(z)148--148, 5(z)159--159
-
to, systems-, 3(z)161--161
-
to, Up-, 2(z)43--43
-
to-coq, hs-, 2(z)89--89
-
to-{coq, hs}-, 2(z)89--89
-
to-End, 8(z)146--146
-
to-End, End-, 7(z)228--228
-
to-end, End-, 6(z)84--84
-
to-end, end-, 3(z)78--78, 3(z)186--186, 8(z)72--72
-
to-native, C++-, 4(z)73--73
-
to-odd, round-, 6(z)3--3
-
to-PERs, Types-, 7(z)42--42
-
to-source, source-, 2(z)122--122, 3(z)97--97
-
to-understand, easy-, 5(z)33--33
-
Tobin-Hochstadt, Sam, 1(z)54--54, 2(z)51--51, 3(z)78--78, 3(z)98--98,
4(z)169--169, 5(z)53--53, 7(z)242--242
-
Tobin-Hochstadt, Sam, see Bauman, Spenser,
see Flatt, Matthew, \see{Moy, Cameron,
see Nguy{\~{\^e}}n, Ph{\'u}c C.,
see Spall, Sarah, \see{Walia, Rajan
-
today, 4(z)73--73, 4(z)81--81, 4(z)93--93, 4(z)132--132, 4(z)195--195,
6(z)24--24, 6(z)28--28, 6(z)78--78, 6(z)136--136, 7(z)15--15,
7(z)153--153, 8(z)38--38
-
Tofino, 6(z)38--38
-
together, 2(z)27--27, 2(z)159--159, 3(z)99--99, 3(z)163--163, 4(z)46--46,
4(z)132--132, 4(z)138--138, 5(z)120--120, 6(z)70--70, 7(z)68--68,
7(z)125--125
-
token, 3(z)120--120, 7(z)155--155
-
token, Multi-, 7(z)24--24
-
token, multi-, 7(z)24--24
-
Tokyo, 3(z)120--120
-
tolerance, 2(z)46--46, 2(z)163--163
-
tolerance, fault-, 6(z)38--38
-
tolerant, 2(z)96--96, 7(z)101--101
-
tolerant, error-, 3(z)186--186
-
tolerant, fault-, 3(z)123--123, 3(z)138--138, 3(z)144--144,
4(z)213--213, 5(z)124--124, 7(z)101--101, 7(z)159--159
-
tolerate, 3(z)138--138
-
Tolmach, Andrew, 2(z)16--16
-
Tolmach, Andrew, see Poulsen, Casper Bach
-
Tom, 4(z)82--82
-
Toman, Viktor, 3(z)124--124, 5(z)164--164
-
Toman, Viktor, see Bui, Truc Lam,
see Chatterjee, Krishnendu
-
Tomb, Aaron, 5(z)135--135
-
Tomb, Aaron, see He, Paul
-
Tondwalkar, Anish, 2(z)53--53
-
Tondwalkar, Anish, see Vazou, Niki
-
tonic, 2(z)134--134
-
Toninho, Bernardo, 3(z)131--131, 4(z)149--149
-
Toninho, Bernardo, see Caires, Luís,
see Griesemer, Robert
-
too, 2(z)154--154, 4(z)99--99, 4(z)169--169, 4(z)195--195, 4(z)203--203,
6(z)142--142, 7(z)158--158
-
tool, 1(z)25--25, 2(z)68--68, 2(z)69--69, 2(z)77--77, 2(z)89--89,
2(z)97--97, 2(z)122--122, 2(z)146--146, 2(z)147--147, 2(z)149--149,
2(z)160--160, 2(z)165--165, 2(z)166--166, 3(z)3--3, 3(z)113--113,
3(z)133--133, 3(z)139--139, 3(z)140--140, 3(z)142--142,
3(z)146--146, 3(z)147--147, 3(z)151--151, 3(z)152--152,
3(z)157--157, 3(z)158--158, 3(z)160--160, 3(z)166--166,
3(z)170--170, 3(z)175--175, 3(z)178--178, 3(z)189--189, 4(z)29--29,
4(z)43--43, 4(z)44--44, 4(z)64--64, 4(z)78--78, 4(z)84--84,
4(z)136--136, 4(z)138--138, 4(z)181--181, 4(z)185--185,
4(z)205--205, 5(z)80--80, 5(z)84--84, 5(z)115--115, 5(z)122--122,
5(z)126--126, 5(z)143--143, 5(z)144--144, 6(z)47--47, 6(z)79--79,
6(z)97--97, 6(z)101--101, 6(z)125--125, 6(z)139--139, 6(z)166--166,
6(z)169--169, 6(z)173--173, 6(z)187--187, 7(z)85--85, 7(z)104--104,
7(z)111--111, 7(z)134--134, 7(z)171--171, 7(z)253--253,
7(z)259--259, 7(z)275--275, 7(z)281--281, 8(z)32--32, 8(z)83--83,
8(z)113--113, 8(z)116--116, 8(z)121--121
-
Toolbox, 4(z)81--81
-
toolboxes, 4(z)81--81
-
toolchain, 2(z)50--50, 3(z)29--29, 5(z)149--149, 6(z)116--116
-
tooling, 4(z)43--43, 5(z)155--155, 7(z)1--1
-
toolkit, 5(z)25--25
-
tools., 3(z)160--160
-
top, 3(z)177--177, 4(z)81--81, 4(z)229--229, 6(z)29--29, 7(z)81--81,
8(z)101--101
-
Top-Down, 7(z)41--41
-
top-down, 5(z)54--54, 6(z)21--21, 7(z)41--41
-
top-level, 5(z)139--139
-
topic, 3(z)112--112
-
topological, 3(z)99--99
-
topology, 6(z)1--1, 7(z)68--68
-
TorchQL, 8(z)124--124
-
Torlak, Emina, 1(z)25--25, 2(z)40--40, 2(z)149--149, 6(z)47--47,
7(z)261--261, 8(z)118--118
-
Torlak, Emina, see Bornholt, James,
see Chang, Stephen,
see Cutler, Joseph W.,
see Porncharoenwase, Sorawee,
see Weitz, Konstantin
-
Toro, 4(z)46--46, 6(z)70--70
-
Toro, Matías, 3(z)17--17, 6(z)70--70,
see Labrada, Elizabeth
-
Toro, Mat{\'{\i}}as, 7(z)84--84, see Ye, Wenjia
-
Toro:2019:GPR, 3(z)17--17
-
Torp, Martin Toldam, 4(z)187--187
-
Torp, Martin Toldam, see M{\o}ller, Anders
-
Torrellas, Josep, 2(z)126--126
-
Torrellas, Josep, see Gong, Zhangxiaowen
-
Tosch, Emma, 3(z)182--182
-
Tosch:2019:PAT, 3(z)182--182
-
total, 4(z)26--26, 4(z)40--40, 5(z)1--1, 6(z)4--4, 7(z)253--253,
8(z)68--68, 8(z)107--107
-
totaling, 3(z)189--189
-
Toub, Stephen, 7(z)148--148
-
Toub, Stephen, see Moseley, Dan
-
tough, 2(z)143--143
-
toward, 2(z)136--136, 3(z)178--178, 4(z)16--16, 4(z)161--161,
4(z)163--163, 5(z)3--3, 6(z)18--18, 6(z)72--72, 7(z)22--22,
7(z)38--38, 7(z)83--83, 7(z)237--237, 7(z)243--243
-
tower, 2(z)52--52, 6(z)134--134
-
Towner, Marco F., Cusumano-, 4(z)19--19
-
trace, 3(z)124--124, 3(z)178--178, 3(z)180--180, 4(z)19--19, 5(z)48--48,
6(z)49--49, 6(z)135--135, 8(z)2--2, 8(z)31--31, 8(z)64--64
-
Trace-Guided, 7(z)141--141
-
trace-guided, 7(z)141--141
-
tracing, meta-, 7(z)233--233
-
tracing, reference-, 7(z)115--115
-
track, 4(z)130--130, 4(z)158--158, 4(z)173--173, 5(z)35--35, 5(z)50--50,
5(z)75--75
-
tracking, 2(z)117--117, 3(z)189--189, 5(z)139--139, 6(z)76--76,
8(z)14--14, 8(z)44--44
-
tracking, ownership-, 4(z)34--34
-
tractability, 4(z)7--7
-
tractable, 2(z)25--25, 7(z)230--230
-
trade, 4(z)106--106, 4(z)188--188, 5(z)132--132, 5(z)143--143
-
trade-off, 4(z)30--30, 6(z)49--49, 6(z)160--160, 7(z)229--229
-
trade-offs, 4(z)7--7, 7(z)261--261
-
tradeoff, 2(z)66--66
-
tradition, 2(z)85--85, 4(z)74--74, 4(z)199--199, 6(z)179--179
-
traditional, 2(z)104--104, 3(z)12--12, 3(z)81--81, 3(z)99--99,
3(z)108--108, 3(z)147--147, 4(z)124--124, 4(z)177--177, 5(z)51--51,
5(z)106--106, 5(z)147--147, 6(z)9--9, 7(z)121--121, 7(z)197--197,
7(z)242--242, 7(z)298--298, 8(z)97--97
-
traditionally, 2(z)95--95, 2(z)102--102, 2(z)129--129, 3(z)123--123,
4(z)54--54, 4(z)123--123, 4(z)182--182, 6(z)19--19, 6(z)139--139,
7(z)58--58, 8(z)64--64
-
traffic, 4(z)42--42
-
trainable, 7(z)50--50
-
trained, 4(z)215--215, 8(z)108--108
-
trained, pre-, 5(z)100--100, 5(z)158--158
-
training, 4(z)84--84, 4(z)185--185, 7(z)280--280
-
training, post-, 6(z)75--75
-
traits, 7(z)31--31
-
Tran, Thanh-Hai, 3(z)123--123
-
Tran, Thanh-Hai, see Konnov, Igor
-
transaction, 2(z)18--18, 2(z)116--116, 3(z)117--117, 3(z)165--165,
3(z)189--189, 6(z)4--4, 7(z)129--129, 7(z)253--253
-
transactional, 2(z)109--109, 3(z)135--135, 3(z)165--165, 4(z)11--11,
5(z)63--63, 6(z)80--80, 6(z)189--189
-
transducers, 2(z)4--4, 6(z)45--45
-
transfer, 2(z)107--107, 3(z)5--5, 3(z)160--160, 3(z)189--189,
4(z)127--127, 5(z)5--5, 6(z)75--75, 6(z)92--92
-
transfer, register-, 4(z)87--87
-
transferrable, 4(z)73--73
-
transferred, 3(z)95--95, 4(z)84--84
-
transferring, 8(z)21--21
-
Transfinite, 5(z)13--13
-
transform, 4(z)81--81, 4(z)151--151
-
transformation, 2(z)74--74, 2(z)80--80, 2(z)117--117, 2(z)122--122,
2(z)126--126, 2(z)138--138, 4(z)158--158, 4(z)177--177,
4(z)219--219, 5(z)14--14, 5(z)74--74, 5(z)86--86, 5(z)87--87,
5(z)95--95, 5(z)114--114, 5(z)134--134, 6(z)28--28, 6(z)29--29,
6(z)170--170, 6(z)190--190, 7(z)40--40, 7(z)54--54, 8(z)58--58
-
transformational, 8(z)7--7
-
transformed, 4(z)87--87
-
transformer, 3(z)103--103, 6(z)171--171
-
transforming, 1(z)92--92, 7(z)239--239, 8(z)60--60
-
transition, 3(z)161--161, 4(z)5--5, 4(z)59--59, 6(z)27--27, 7(z)52--52,
7(z)190--190, 7(z)281--281, 8(z)34--34
-
Transitioning, 5(z)127--127
-
transitive, 6(z)180--180
-
translate, 2(z)89--89, 3(z)186--186, 6(z)71--71, 7(z)158--158,
8(z)143--143
-
translated, 7(z)94--94
-
translating, 5(z)121--121, 6(z)83--83, 7(z)94--94, 7(z)104--104
-
translation, 2(z)22--22, 3(z)10--10, 3(z)96--96, 4(z)221--221,
5(z)87--87, 5(z)112--112, 6(z)84--84, 6(z)90--90, 6(z)116--116,
7(z)20--20, 7(z)65--65, 7(z)94--94, 7(z)95--95, 7(z)127--127,
8(z)8--8, 8(z)146--146
-
translation, back-, 6(z)82--82
-
translucent, 3(z)10--10
-
transmitted, 4(z)67--67, 5(z)33--33
-
Transparency, 8(z)101--101
-
transparent, 2(z)117--117
-
transpilation, 6(z)71--71, 7(z)82--82
-
transpiler, 7(z)82--82
-
transport, 2(z)92--92, 3(z)29--29
-
transporting, 8(z)134--134
-
Transpose, 7(z)43--43
-
transprecision, 4(z)195--195, 5(z)162--162
-
Tratt, Laurence, 1(z)52--52
-
Tratt, Laurence, see Barrett, Edd
-
Travelers, 8(z)121--121
-
traversals, 1(z)76--76, 2(z)85--85, 4(z)128--128
-
traversals, tree-, 5(z)91--91
-
traverse, 4(z)128--128
-
traversing, 4(z)115--115
-
Traytel, Dmitriy, 3(z)22--22, 7(z)42--42
-
Traytel, Dmitriy, see Blanchette, Jasmin Christian,
see Popescu, Andrei
-
treat, 2(z)92--92, 5(z)88--88, 7(z)32--32
-
treated, 4(z)73--73, 4(z)137--137, 6(z)19--19
-
treatment, 4(z)90--90, 5(z)24--24
-
tree, 1(z)62--62, 1(z)76--76, 1(z)82--82, 3(z)170--170, 4(z)51--51,
4(z)112--112, 4(z)128--128, 4(z)222--222, 5(z)26--26, 5(z)73--73,
5(z)113--113, 5(z)151--151, 7(z)61--61, 7(z)132--132, 7(z)213--213,
8(z)12--12, 8(z)45--45
-
tree, decision-, 2(z)131--131
-
tree-processing, 4(z)112--112
-
tree-traversals, 5(z)91--91
-
TreeFuser, 1(z)76--76
-
treewidth, 7(z)232--232
-
Trela, Maja, 7(z)110--110
-
Trela, Maja, see Watt, Conrad
-
tremendous, 3(z)96--96, 7(z)247--247
-
trend, 4(z)182--182, 8(z)99--99
-
triangle, 4(z)58--58
-
Triantafyllou, Konstantinos, 5(z)163--163
-
Triantafyllou, Konstantinos, see Smaragdakis, Yannis
-
Tribastone, Mirco, 8(z)63--63
-
Tribastone, Mirco, see Randone, Francesca
-
trick, 6(z)28--28
-
tricky, 6(z)80--80, 7(z)203--203
-
Trieu, Alix, 4(z)7--7, 5(z)6--6, 6(z)74--74
-
Trieu, Alix, see Barthe, Gilles,
see Georges, Aïna Linn
-
trigger, 4(z)60--60
-
triggered, 4(z)117--117
-
triggering, bug-, 7(z)97--97
-
Trillium, 8(z)9--9
-
Trinder, Phil, 7(z)191--191, 8(z)58--58
-
Trinder, Phil, see Fowler, Simon,
see K{\oe}hler, Thomas
-
Trinh, Minh-Thai, 4(z)161--161, 4(z)192--192, 7(z)77--77
-
Trinh, Minh-Thai, see Chen, Xiaohong,
see Lin, Zhengyao
-
Trinh:2020:ITD, 4(z)192--192
-
Tristan, Jean-Baptiste, 7(z)131--131
-
Tristan, Jean-Baptiste, see Tassarotti, Joseph
-
trivial, 2(z)116--116
-
trivial, non-, 6(z)4--4, 6(z)28--28, 8(z)105--105
-
Troyer, Matthias, 4(z)133--133
-
Troyer, Matthias, see Häner, Thomas
-
true, 6(z)69--69, 6(z)97--97
-
truly, 6(z)41--41, 6(z)49--49, 6(z)149--149
-
Trunov, Anton, 3(z)185--185, 6(z)122--122
-
Trunov, Anton, see Hoang, Tram,
see Sergey, Ilya
-
trusted, 4(z)32--32
-
trustworthy, 3(z)85--85, 3(z)138--138, 7(z)185--185, 7(z)199--199
-
try, 2(z)121--121, 7(z)76--76
-
trying, 4(z)73--73
-
Tsai, Wei-Lun, 7(z)156--156
-
Tsai, Wei-Lun, see Chen, Yu-Fang
-
Tsai, Yun Chen, 7(z)292--292
-
Tsai, Yun Chen, see Conrado, Giovanna Kobus
-
Tsampas, Stelios, 7(z)22--22
-
Tsampas, Stelios, see Goncharov, Sergey
-
Tsantalis, Nikolaos, 1(z)85--85
-
Tsantalis, Nikolaos, see Mazinanian, Davood
-
Tsatiris, Ilias, 4(z)190--190, 5(z)163--163, 6(z)77--77
-
Tsatiris, Ilias, see Grech, Neville,
see Lagouvardos, Sifis,
see Smaragdakis, Yannis
-
Tshukudu, Ethel, 7(z)215--215
-
Tshukudu, Ethel, see Lu, Kuang-Chen
-
TSO, 2(z)137--137, 4(z)26--26, 5(z)164--164
-
TSO, x86-, 5(z)47--47, 5(z)56--56
-
Tsukada, Takeshi, 4(z)117--117, 5(z)95--95, 6(z)63--63, 7(z)6--6,
7(z)21--21, 8(z)13--13
-
Tsukada, Takeshi, see Gu, Yu,
see Kobayashi, Naoki, \see{Sekiyama, Taro
-
Tsukada:2022:SMC, 6(z)63--63
-
Tsukada:2024:EPM, 8(z)13--13
-
TTobs, 6(z)32--32
-
Tullsen, Dean, 5(z)49--49
-
Tullsen, Dean, see Vassena, Marco
-
tunable, 8(z)32--32
-
Tunç, Hünkar Can, 7(z)137--137, 7(z)177--177
-
Tunc:2023:ORC, 7(z)137--137
-
Tunc:2023:SDD, 7(z)177--177
-
tune, 6(z)160--160
-
tuning, 3(z)186--186, 8(z)32--32, 8(z)110--110
-
tuning, accuracy-, 3(z)186--186
-
tunneling, 2(z)140--140, 3(z)5--5
-
tuple, 2(z)113--113
-
Tuppe, Omkar, 8(z)42--42
-
Tuppe, Omkar, see Krishna, Shankaranarayanan
-
Turaco, 7(z)280--280
-
Turcotte, Alexi, 1(z)55--55, 4(z)181--181, 5(z)160--160
-
Turcotte, Alexi, see Gokhale, Satyajit,
see Richards, Gregor
-
Turcotte:2020:DTR, 4(z)181--181
-
Tureci, Esin, 4(z)226--226
-
Tureci, Esin, see Kirkham, Jake
-
Turing-complete, 5(z)28--28, 8(z)23--23
-
turn, 2(z)129--129, 3(z)78--78, 4(z)66--66, 4(z)84--84, 5(z)125--125,
6(z)116--116, 7(z)69--69
-
turned, 4(z)72--72
-
Turner, Milo, 4(z)3--3
-
Turner, Milo, see Chang, Stephen
-
turning, 4(z)222--222, 7(z)9--9
-
Turnstile+, 4(z)3--3
-
Turo{\v{n}}ov{\'a}, Lenka, 4(z)218--218
-
Turonova:2020:RMC, 4(z)218--218
-
twenty, 3(z)177--177
-
twenty-five, 3(z)153--153
-
twist, 6(z)30--30
-
two, 2(z)88--88, 2(z)95--95, 2(z)101--101, 2(z)132--132, 3(z)2--2,
3(z)3--3, 3(z)16--16, 3(z)27--27, 3(z)92--92, 3(z)93--93,
3(z)113--113, 3(z)114--114, 3(z)120--120, 3(z)121--121,
3(z)125--125, 3(z)133--133, 3(z)141--141, 3(z)157--157,
3(z)163--163, 3(z)169--169, 3(z)177--177, 4(z)10--10, 4(z)11--11,
4(z)23--23, 4(z)31--31, 4(z)71--71, 4(z)73--73, 4(z)117--117,
4(z)170--170, 4(z)206--206, 5(z)12--12, 5(z)21--21, 5(z)52--52,
5(z)54--54, 5(z)70--70, 5(z)148--148, 6(z)2--2, 6(z)5--5, 6(z)39--39,
6(z)50--50, 6(z)66--66, 6(z)92--92, 6(z)100--100, 6(z)127--127,
6(z)177--177, 7(z)35--35, 7(z)39--39, 7(z)43--43, 7(z)64--64,
7(z)68--68, 7(z)194--194, 7(z)196--196, 7(z)239--239, 8(z)8--8,
8(z)26--26, 8(z)57--57, 8(z)76--76
-
two-level, 6(z)110--110
-
two-sided, 8(z)67--67
-
typable, 3(z)7--7
-
Type, P4R-, 7(z)290--290
-
type, session-, 4(z)6--6
-
type, sized-, 1(z)43--43
-
type-and-coeffect, 6(z)156--156
-
Type-and-Effect, 7(z)71--71
-
type-and-effect, 4(z)175--175, 5(z)75--75, 6(z)2--2, 7(z)71--71
-
Type-Aware, 5(z)152--152
-
type-aware, 4(z)193--193, 5(z)152--152
-
Type-Based, 7(z)3--3, 7(z)157--157, 8(z)89--89
-
type-based, 3(z)13--13, 3(z)15--15, 4(z)110--110, 4(z)178--178,
6(z)76--76, 6(z)116--116, 7(z)142--142, 7(z)169--169
-
type-case, 6(z)13--13
-
type-cases, 6(z)13--13
-
type-checker, 3(z)166--166
-
type-checkers, 6(z)140--140
-
Type-Checking, 7(z)162--162
-
type-checking, 6(z)140--140
-
type-correctness, 4(z)91--91
-
type-directed, 2(z)81--81, 4(z)12--12, 6(z)144--144, 8(z)32--32
-
type-error, 1(z)106--106
-
type-guided, 3(z)13--13, 4(z)12--12
-
type-level, 3(z)102--102, 3(z)131--131, 5(z)69--69, 5(z)78--78,
6(z)37--37
-
type-passing, 2(z)81--81
-
Type-Polymorphic, 7(z)115--115
-
Type-Preserving, 7(z)50--50
-
Type-preserving, 2(z)22--22
-
Type-Safe, 7(z)297--297
-
type-safe, 2(z)128--128, 3(z)5--5, 3(z)113--113, 3(z)131--131,
4(z)217--217, 5(z)103--103, 6(z)26--26
-
type-safety, 6(z)61--61
-
type-system, 5(z)35--35
-
type-theoretic, 5(z)27--27, 7(z)234--234
-
type-theoretical, 2(z)81--81
-
type-theory, 5(z)27--27
-
typeable, 3(z)166--166
-
typechecker, 2(z)75--75
-
typechecking, 3(z)9--9, 4(z)8--8
-
typeclass, 4(z)216--216
-
typed, 2(z)69--69, 2(z)71--71, 2(z)73--73, 2(z)75--75, 2(z)78--78,
2(z)104--104, 3(z)12--12, 3(z)14--14, 3(z)15--15, 3(z)18--18,
3(z)87--87, 3(z)100--100, 3(z)116--116, 3(z)122--122, 4(z)3--3,
4(z)12--12, 4(z)64--64, 4(z)90--90, 4(z)91--91, 4(z)101--101,
4(z)109--109, 4(z)111--111, 4(z)121--121, 4(z)174--174, 5(z)1--1,
5(z)22--22, 5(z)53--53, 5(z)60--60, 5(z)68--68, 5(z)85--85,
5(z)87--87, 5(z)111--111, 5(z)126--126, 5(z)127--127, 6(z)23--23,
6(z)61--61, 6(z)82--82, 6(z)89--89, 6(z)96--96, 6(z)98--98,
6(z)118--118, 7(z)18--18, 7(z)85--85, 7(z)96--96, 7(z)104--104,
7(z)212--212, 7(z)241--241, 7(z)249--249, 7(z)284--284,
8(z)125--125
-
Typed, Dependently-, 7(z)210--210, 8(z)129--129
-
typed, Dependently-, 5(z)108--108, 6(z)40--40
-
typed, dependently-, 3(z)86--86, 3(z)88--88, 5(z)82--82,
7(z)210--210
-
typed, Dynamically-, 5(z)126--126
-
typed, gradually-, 5(z)61--61
-
Typed, Ill-, 8(z)67--67
-
typed, ill-, 8(z)68--68
-
typed, Intrinsically-, 2(z)16--16, 6(z)192--192
-
typed, refinement-, 3(z)106--106
-
typed, richly-, 5(z)13--13
-
typed, session-, 7(z)212--212
-
typed, simply-, 4(z)111--111, 5(z)21--21
-
typed, statically-, 2(z)13--13, 3(z)29--29, 5(z)126--126,
5(z)155--155, 6(z)168--168, 7(z)18--18
-
typed, strongly-, 4(z)75--75
-
typed, weakly-, 4(z)176--176
-
Typed, Well-, 8(z)77--77
-
typed, Well-, 5(z)123--123
-
typed, well-, 3(z)29--29, 3(z)147--147, 4(z)193--193,
5(z)22--22, 8(z)68--68, 8(z)77--77
-
types, data-, 5(z)21--21
-
types, proposition-as-, 5(z)79--79
-
types, Propositions-as-, 5(z)79--79
-
Types, Session-, 7(z)235--235
-
types-aka, 2(z)94--94
-
types-are, 5(z)64--64
-
types-have, 2(z)94--94
-
Types-to-PERs, 7(z)42--42
-
TypeScript, 1(z)90--90, 4(z)174--174, 6(z)141--141, 7(z)48--48,
7(z)295--295
-
typestate, 4(z)132--132, 5(z)149--149
-
typestate-oriented, 4(z)132--132
-
typical, 2(z)108--108, 4(z)97--97, 5(z)127--127, 6(z)148--148,
7(z)237--237
-
typically, 2(z)106--106, 2(z)112--112, 2(z)150--150, 3(z)14--14,
3(z)156--156, 3(z)175--175, 5(z)7--7, 5(z)19--19, 5(z)52--52,
5(z)98--98, 5(z)111--111, 5(z)142--142, 5(z)159--159, 6(z)51--51,
6(z)69--69, 6(z)86--86, 6(z)156--156, 7(z)9--9, 7(z)58--58,
7(z)155--155, 8(z)68--68, 8(z)120--120
-
typing, 1(z)26--26, 1(z)40--40, 1(z)41--41, 1(z)47--47, 1(z)54--54,
1(z)55--55, 1(z)56--56, 2(z)71--71, 2(z)90--90, 2(z)94--94,
2(z)98--98, 2(z)120--120, 2(z)132--132, 2(z)133--133, 2(z)134--134,
3(z)16--16, 3(z)17--17, 3(z)18--18, 3(z)28--28, 3(z)30--30,
3(z)88--88, 3(z)111--111, 3(z)122--122, 3(z)158--158, 4(z)18--18,
4(z)46--46, 4(z)67--67, 4(z)95--95, 4(z)127--127, 4(z)134--134,
4(z)148--148, 4(z)191--191, 5(z)19--19, 5(z)53--53, 5(z)61--61,
5(z)68--68, 5(z)108--108, 5(z)111--111, 5(z)124--124, 5(z)127--127,
6(z)13--13, 6(z)118--118, 7(z)8--8, 7(z)196--196, 7(z)241--241,
7(z)284--284, 8(z)62--62, 8(z)67--67, 8(z)89--89, 8(z)125--125
-
typing-related, 5(z)123--123
-
Tzevelekos, Nikos, 5(z)81--81
-
Tzevelekos, Nikos, see Birkedal, Lars