Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
T
-
T, 13(4)829--831, 14(2)247--249
-
Tabareau, Nicolas, 28(z)z
-
Tabareau, Nicolas, see Dagand, Pierre-Évariste
-
tabbing, 8(5)493--502
-
tactic, 25(z)z
-
tag-free, 31(z)z
-
tagger, 15(4)573--614
-
tagless, 2(2)127--202, 19(5)509--543, 22(6)757--796
-
Taha, Walid, 10(6)627--627, 13(3)453--454, 13(4)829--831, 26(z)z
-
Taha, Walid, see Inoue, Jun
-
Taha:2000:SIS, 10(6)627--627
-
Taha:2003:BRE, 13(4)829--831
-
Taha:2003:SAI, 13(3)453--454
-
tail, 2(1)73--79, 3(1)117--122
-
Takeichi, Masato, 22(3)275--299
-
Takeichi, Masato, see Morihata, Akimasa
-
takes, 0(0)xi--277, 0(0)xxiii--402
-
Takikawa, Asumu, 29(z)z
-
Takikawa, Asumu, see Greenman, Ben
-
Talcott, Carolyn, 1(3)287--327
-
Talcott, Carolyn, see Mason, Ian
-
Talcott, Carolyn L., 7(1)1--72
-
Talcott, Carolyn L., see Agha, Gul A.
-
Talpin, Jean-Pierre, 2(3)245--271, 6(4)621--655
-
Talpin, Jean-Pierre, see Hartel, Pieter H.
-
Talpin:1992:PTR, 2(3)245--271
-
Taming, 31(z)z
-
Tan, Yong Kiam, 29(z)z
-
Tan:2019:VCC, 29(z)z
-
Tannen, Val, 32(z)z
-
Tannen, Val, see Perna, Stefano
-
Tanter, Éric, 26(z)z, 28(z)z, 30(z)z,
see Bañados Schwerter, Felipe,
see Dagand, Pierre-Évariste
-
Tanter:2020:RLP, 30(z)z
-
target, 24(6)612--612, 26(z)z
-
tasks, 0(0)xi--277
-
teach, 0(0)xvii--485
-
teachers, 0(0)xi--277
-
Teaches, 0(0)xxiii--402
-
teaching, 0(0)xiii--448, 0(0)xxiii--657, 3(1)49--65, 3(1)67--75,
14(1)113--123, 25(z)z
-
technical, 0(0)xviii--471
-
techniques, 0(0)xi--277, 0(0)xxvii--900, 0(0)x--390, 8(6)633--637,
9(1)105--111, 12(0)vii--390, 14(4)379--427, 19(2)254--256
-
Technologies, 14(4)473--473
-
technology, 0(0)xvii--485, 26(z)z
-
Ted, 25(z)z
-
telecom, 0(0)xvi--133
-
template-based, 13(3)677--708
-
Tennent, R. D., 7(6)667--668, 10(5)501--508
-
Tennent:1997:BRF, 7(6)667--668
-
Tennent:2000:BRT, 10(5)501--508
-
Terence, 21(2)215--217
-
Terese, 15(4)651--651
-
term, 0(0)xii--301, 2(2)233--236, 5(1)65--80, 7(4)395--420, 8(2)97--129,
9(5)565--575, 10(1)121--134, 11(2)253--262, 15(4)651--651,
16(2)247--249, 17(3)353--386, 23(5)594--628, 25(z)z, 26(z)z
-
terminal, 6(2)299--327
-
Terminating, 3(2)247--250
-
termination, 11(1)33--53, 13(2)339--414, 28(z)z
-
terms, lambda-, 26(z)z
-
terms, Plotkin-, 9(5)565--575
-
testing, 0(0)xxiii--402, 26(z)z, 31(z)z
-
\TeX, 7(5)451--485
-
text, 0(0)xxvi--586
-
text., 0(0)xxiii--657
-
textbook, 0(0)z
-
textual, 5(3)317--343
-
Thackray, Jon, 6(4)621--655
-
Thackray, Jon, see Hartel, Pieter H.
-
the, 30(z)z
-
The-Art, State-of-, 3(4)565--566
-
the-art, State-of-, 5(3)279--281
-
theme, 0(0)xxiii--657
-
themselves, 0(0)xxiii--402
-
then, 0(0)xvii--485
-
theorem, 0(0)xx--472, 4(4)557--559, 6(4)657--665, 7(1)125--126,
8(4)413--436, 9(2)147--166, 9(2)167--189, 14(1)3--19, 16(2)157--196,
16(3)269--280, 25(z)z
-
theoretic, domain-, 2(3)273--321
-
theoretic, type-, 4(2)207--247, 5(4)593--635
-
Theoretical, 1(2)229--233, 1(3)367--372, 2(2)233--236, 2(3)367--374,
4(1)113--115, 13(4)815--822, 15(1)1--13, 15(5)669--677,
16(3)269--280
-
theory, 0(0)xiii--448, 0(0)xvi--395, 4(2)249--283, 4(3)371--394,
4(4)479--498, 5(2)225--277, 6(5)667--698, 8(4)413--436,
8(5)447--491, 10(5)501--508, 11(2)207--251, 11(4)437--437,
13(2)261--293, 13(4)709--745, 14(1)1--2, 16(2)137--155,
16(3)327--372, 18(3)373--419, 18(5)865--911, 19(3)265--286,
19(3)439--468, 19(6)645--661, 20(1)19--50, 22(2)219--221, 26(z)z,
27(z)z, 28(z)z, 29(z)z, 30(z)z, 31(z)z
-
theory, meta-, 31(z)z
-
theory., 0(0)xviii--471
-
There, 0(0)xxiii--657
-
thesis, 31(z)z
-
Thielecke, Hayo, 19(1)17--26
-
Thielecke:2009:CEM, 19(1)17--26
-
Thiemann, Peter, 9(5)483--525, 11(4)437--437, 12(4)435--468,
13(3)573--600, 14(1)1--2, 20(5)415--416, 31(z)z
-
Thiemann, Peter, see Barthe, Gilles,
see Siek, Jeremy G.
-
Thiemann:1999:CPG, 9(5)483--525
-
Thiemann:2002:TRH, 12(4)435--468
-
Thiemann:2003:PSE, 13(3)573--600
-
Thiemann:2010:SID, 20(5)415--416
-
thing, 0(0)xviii--471
-
think, 0(0)xiii--448, 21(6)664--666
-
Thinking, 25(z)z, 30(z)z
-
third, 6(4)657--665, 19(6)723--725
-
Thomas, Mike, 12(1)89--90, 14(2)247--249, 14(5)589--592
-
Thomas, Stephen, 6(4)621--655
-
Thomas, Stephen, see Hartel, Pieter H.
-
Thomas:2002:BRP, 12(1)89--90
-
Thomas:2004:BRI, 14(2)247--249
-
Thomas:2004:BRR, 14(5)589--592
-
Thompson, 8(6)633--637
-
Thompson, Simon, 3(1)3--4, 9(1)105--111, 9(3)347--354, 10(3)245--268,
23(3)293--350, 26(z)z
-
Thompson, Simon, see Poll, Erik
-
Thompson, Simon J., 4(1)47--63
-
Thompson, Simon J., see Lins, Rafael D.
-
Thompson:1993:FPE, 3(1)3--4
-
Thompson:1999:BRA, 9(1)105--111
-
Thompson:2000:FRA, 10(3)245--268
-
Thompson:2013:RTF, 23(3)293--350
-
Thompson:2016:RSI, 26(z)z
-
thought, 0(0)xviii--471
-
threaded, 20(5)537--576
-
Three, 7(6)661--666
-
through, 0(0)xvi--133, 0(0)xviii--363, 0(0)xviii--471, 0(0)xxiii--402,
10(5)501--508, 15(2)293--349, 15(6)797--835
-
throughout, 0(0)xxiii--657
-
throw, 9(6)625--647
-
Thunks, 7(3)303--319
-
tidy, 6(3)535--562
-
Tight, 30(z)z
-
tiling, 14(6)613--622
-
Till, 6(2)375--377
-
TIM, 4(1)47--63
-
Tim, 9(1)105--111
-
Timany, Amin, 30(z)z
-
Timany, Amin, see Abel, Andreas
-
time, 0(0)xxiii--657, 0(0)0--0, 7(5)515--540, 13(1)225--230,
13(1)233--234, 14(6)697--713, 22(3)300--374, 31(z)z
-
time, binding-, 3(3)347--363, 3(3)365--387
-
time, call-, 22(3)275--299
-
time, Compile-, 21(3)219--234, 22(2)181--216
-
time, destruct-, 18(4)437--502
-
time, linear-, 25(z)z
-
time, Real-, 31(z)z
-
time, real-, 31(z)z
-
time, redex-, 18(4)437--502
-
time, return-, 22(3)275--299
-
Time, Run-, 24(6)612--612
-
time, run-, 2(4)387--405, 13(3)677--708, 16(6)681--710,
24(6)675--716
-
timed, 2(1)1--21
-
TinkerType, 13(2)295--316
-
Tirronen, Ville, 25(z)z
-
Tirronen:2015:TTC, 25(z)z
-
Tirronen:2015:UBM, 25(z)z
-
to-coq, hs-, 31(z)z
-
Tobias, 11(2)253--262
-
Tobin-Hochstadt, Sam, 27(z)z, 28(z)z
-
Tobin-Hochstadt, Sam, see Nguyên, Phúc C.,
see Swords, Cameron
-
Tofte, 14(1)125--128
-
Tofte, Mads, 4(3)285--335
-
Tofte:1994:PSH, 4(3)285--335
-
Together, 22(2)181--216, 31(z)z
-
tolerance, 26(z)z
-
tolerant, Fault-, 30(z)z
-
tolerant, fault-, 0(0)xvi--133
-
Tolmach, Andrew, 5(2)155--200, 8(4)367--412, 11(5)557--587,
21(4)331--332
-
Tolmach, Andrew, see Nordin, Thomas
-
Tolmach:1995:DSM, 5(2)155--200
-
Tolmach:1998:MAS, 8(4)367--412
-
Tolmach:2011:SID, 21(4)331--332
-
Tom, 4(4)557--559, 22(2)219--221
-
tool, 0(0)xxiii--402, 0(0)xxvi--586, 20(1)71--122, 22(6)853--854,
23(3)293--350, 28(z)z
-
toolkit, 2(4)437--473, 15(4)573--614
-
top-down, 22(3)300--374
-
Topics, 16(2)247--249
-
total, 4(4)479--498, 26(z)z
-
totally, 21(2)209--213
-
Touzet, H., 11(1)33--53
-
Touzet, H., see Bonfante, G.
-
tower, 18(5)707--780
-
Toyn, Ian, 1(2)191--211, 3(1)93--115
-
Toyn, Ian, see Runciman, Colin
-
trace, 18(2)179--249
-
track, 21(3)309--329
-
trades, 19(1)27--45
-
trading, 18(4)553--564
-
Transactional, 18(5)649--706
-
transform, 14(6)603--612, 21(2)129--133
-
transformation, 0(0)xv--240, 0(0)xviii--237, 1(4)459--494, 3(3)283--313,
4(1)89--112, 13(5)867--904, 13(5)905--923, 13(5)925--933,
14(4)379--427, 14(5)589--592, 17(6)793--812, 19(2)227--251, 31(z)z
-
transformational, 3(1)93--115
-
transformer, 1(3)329--366
-
transforming, 26(z)z
-
transition, 3(3)283--313, 6(2)329--354
-
translation, 8(4)367--412, 9(3)279--310, 10(1)77--89, 18(3)333--371,
24(2)284--315
-
translation, A-, 4(1)77--88
-
Transparent, 9(2)113--146, 26(z)z
-
transport, 5(3)283--316
-
Transporting, 24(2)316--383
-
Traytel, Dmitriy, 25(z)z
-
Traytel:2015:VDP, 25(z)z
-
treatment, 22(4)614--704
-
tree, 0(0)xviii--471, 6(3)527--534, 6(3)535--562, 7(4)441--445,
7(6)661--666, 9(1)33--75, 9(4)471--477, 10(3)305--317,
11(4)359--393, 11(4)425--432, 12(6)601--607, 15(4)543--572,
16(2)197--217, 19(5)491--508, 19(6)633--644, 21(3)287--307,
22(4)382--438, 24(4)423--433, 28(z)z
-
tree-processing, 18(3)333--371
-
Trends, 13(4)823--824
-
trial, 0(0)xvii--485
-
triangulations, 11(5)441--466
-
tries, 10(4)327--351
-
Trinder, 13(4)823--824
-
Trinder, P. W., 8(1)23--60, 12(4)469--510, 15(3)351--352
-
Trinder, Phil, 26(z)z
-
Trinder, Phil, see Stewart, Robert
-
Trinder:1998:ASP, 8(1)23--60
-
Trinder:2002:PDH, 12(4)469--510
-
Trinder:2005:SIH, 15(3)351--352
-
triple, 21(2)159--207
-
trivalent, 26(z)z
-
Tronci, Enrico, 5(1)51--64
-
Tronci:1995:DDS, 5(1)51--64
-
truly, 0(0)xvi--133
-
Trust, 7(6)557--591
-
trustful, 31(z)z
-
Turbak, Franklyn, 12(3)183--227
-
Turbak, Franklyn, see Wells, J. B.
-
Turchin, Valentin F., 3(3)283--313
-
Turchin:1993:PTM, 3(3)283--313
-
Turcotte, Marcel, 5(3)443--460
-
Turcotte:1995:ECN, 5(3)443--460
-
Turner, David N., 4(2)207--247
-
Turner, David N., see Pierce, Benjamin C.
-
Turon, Aaron, 19(2)173--190
-
Turon, Aaron, see Owens, Scott
-
tutorial, 9(4)355--372, 28(z)z
-
twice, 15(1)1--13
-
two, 2(2)237--244, 19(1)47--94
-
Two-level, 14(5)547--587
-
typable, 22(2)153--180
-
type, 0(0)xvii--485, 0(0)xviii--471, 0(0)x--212, 1(1)3--20, 1(1)71--89,
1(2)125--154, 1(2)191--211, 1(3)245--285, 2(3)245--271,
2(4)475--503, 3(2)171--190, 3(2)191--215, 3(4)485--525, 4(1)77--88,
4(2)125--125, 4(4)435--477, 5(1)131--134, 5(2)201--224, 6(1)1--28,
6(3)485--518, 6(5)667--698, 7(3)321--347, 8(1)89--96, 8(2)177--193,
8(4)413--436, 9(6)675--698, 10(1)57--75, 10(2)137--166,
10(2)191--225, 10(4)409--415, 10(5)417--452, 11(1)55--94,
11(3)263--317, 11(4)425--432, 11(4)437--437, 12(2)133--158,
12(3)183--227, 12(4)375--392, 13(1)81--96, 13(2)261--293,
13(3)545--571, 13(4)709--745, 14(1)1--2, 14(1)3--19, 14(5)519--546,
14(5)547--587, 15(5)669--677, 16(2)137--155, 16(2)219--246,
16(6)751--791, 17(1)1--82, 17(2)207--214, 17(2)215--286,
17(3)287--352, 17(4)433--471, 18(2)141--178, 18(2)179--249,
18(2)251--283, 18(3)333--371, 18(4)423--436, 18(5)865--911,
19(2)157--172, 19(3)287--310, 19(3)439--468, 19(5)545--579,
20(1)19--50, 20(2)175--210, 20(3)271--302, 21(4)333--412,
21(6)585--615, 22(2)107--152, 22(2)153--180, 23(1)1--37,
23(4)402--451, 24(2)133--165, 24(6)675--716, 25(z)z, 26(z)z,
27(z)z, 28(z)z, 29(z)z, 30(z)z, 31(z)z, 32(z)z
-
type-and-capability, 23(1)38--144
-
type-and-effect, 26(z)z
-
type-assignment, 3(4)485--525
-
type-based, 8(3)239--273, 16(1)83--128, 25(z)z
-
Type-checking, 9(6)675--698, 12(2)133--158
-
Type-Driven, 30(z)z
-
type-erasure, 12(6)567--600
-
Type-safe, 14(6)681--695, 16(6)681--710, 19(1)107--142, 19(2)145--156
-
type-theoretic, 4(2)207--247, 5(4)593--635
-
typed, 4(4)435--477, 11(6)673--680, 12(1)43--88, 12(4)435--468,
13(5)957--959, 15(5)771--796, 19(5)509--543, 21(3)219--234,
22(4)529--573, 23(5)552--593, 23(6)658--700, 25(z)z, 30(z)z,
31(z)z
-
Typed, Ill-, 28(z)z
-
typed, Strongly-, 8(4)367--412
-
typeful, 15(6)797--835
-
typing, 0(0)xvii--485, 3(4)465--484, 4(2)127--206, 5(1)111--130,
6(2)245--267, 13(4)747--796, 23(3)229--248, 27(z)z, 30(z)z,
33(z)z