Index file section T for pacmpl.bib

Last update: Sun Sep 1 02:29:01 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)92--92, 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, 8(z)92--92
• 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)92--92, 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, 8(z)92--92
• 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)92--92, 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, 7(z)200--200, 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
• transitions, epsilon-, 8(z)92--92
• 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)119--119, 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
• truth, 8(z)92--92
• 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)200--200, 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