Last update: Tue May 28 02:01:27 MDT 2024
Return to index directory
I
-
ICFP, 20(5)415--416, 21(4)331--332, 22(4)379--381, 23(4)355--356,
24(2)131--132, 26(z)z
-
Id, 5(3)283--316
-
Ida, Tetsuo, 7(2)129--161
-
Ida:1997:LON, 7(2)129--161
-
idea, 0(0)xi--277, 0(0)xxvi--586
-
ideal, 0(0)xvi--133, 13(5)945--956
-
identification, 28(z)z
-
identifiers, 0(0)xviii--471
-
identity, 30(z)z
-
Idris, 23(5)552--593, 30(z)z
-
IEEE, 0(0)xxiii--657
-
\ifx \undefined \binom \newcommand{\binom}[2]{\left(\begin{array}{c}{#1}\\{#2}\end{array}\right)} \fi # \ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi # \ifx \undefined \Si \def \Si {{\rm Si}} \fi # \ifx \undefined \url \def \url#1 {{\tt #1}} \fi},
0(0)0--0
-
Igarashi, Atsushi, 18(3)285--331, 34(z)z--99999999
-
Igarashi, Atsushi, see Saito, Chieri,
see Sekiyama, Taro
-
II, 4(4)515--555, 13(5)925--933, 25(z)z, 30(z)z
-
Iii, John Peter Campora, 32(z)z
-
Iii:2022:MGT, 32(z)z
-
Ill-Typed, 28(z)z
-
illustrated, 34(z)z--99999999
-
Im, Hyeonseung, 19(1)107--142, 21(1)21--58
-
Im, Hyeonseung, see Park, Sungwoo
-
image, 0(0)xv--240, 23(6)629--657
-
impact, 0(0)xxiii--657, 13(5)867--904, 22(4)477--528
-
imperative, 0(0)xv--240, 0(0)xviii--237, 9(4)373--426, 13(3)545--571,
14(5)589--592, 17(4)473--546
-
imperative, functional-, 31(z)z
-
implementation, 0(0)xv--240, 0(0)xvii--485, 0(0)xvii--509, 0(0)xix--374,
0(0)xxiii--657, 0(0)x--390, 1(4)459--494, 6(4)621--655,
7(2)183--217, 9(1)105--111, 9(2)167--189, 10(5)501--508,
10(6)627--627, 11(6)629--671, 12(1)89--90, 13(3)453--454,
14(5)598--600, 21(2)215--217, 22(1)9--30, 23(5)552--593, 26(z)z,
27(z)z, 30(z)z
-
implemented, 6(1)29--46
-
implementing, 0(0)xxiii--402, 1(3)329--366, 2(2)127--202, 5(3)383--414,
9(2)147--166, 19(3)287--310
-
implicit, 5(1)1--35, 13(4)824--826, 24(1)56--112, 29(z)z
-
implicitly, 20(5)537--576, 26(z)z
-
importance, 0(0)xxiii--402
-
important, 0(0)xxiii--402
-
improvement, 4(4)515--555, 18(5)781--819
-
Improving, 3(2)153--169
-
in, 5(1)81--110
-
in, outside-, 7(2)129--161
-
in-situ, 23(2)174--184
-
Inc, 6(1)189--193, 23(2)225--226
-
include, 0(0)xv--240, 0(0)xxiii--402
-
included, 0(0)xxvi--586
-
including, 0(0)xv--240, 0(0)xxiii--657, 0(0)xxvi--586, 27(z)z
-
incorporated, 0(0)xxiii--657
-
increase, 0(0)xvii--485
-
increasing, 0(0)xxiii--402
-
incremental, 3(1)93--115, 22(6)797--852, 25(z)z
-
Indeed, 0(0)xxiii--402
-
indentation, 8(5)493--502
-
index, 1(4)495--495, 2(4)515--515, 3(4)563--563, 4(4)561--561,
5(4)661--662, 6(6)859--861
-
Indexed, 25(z)z
-
Indexing, 13(1)169--172
-
Indrika, Mia, 10(4)409--415
-
Indrika, Mia, see Fridlender, Daniel
-
induction, 19(3)439--468, 31(z)z
-
inductive, 11(5)467--492, 11(5)525--556, 17(3)428--429, 23(6)658--700,
31(z)z, 2654(0)xxii--398
-
industry, 0(0)xxiii--402
-
industry-proven, 0(0)xvii--485
-
inference, 0(0)xvii--485, 1(3)245--285, 2(3)245--271, 4(4)435--477,
17(1)1--82, 18(2)251--283, 21(4)333--412
-
informal, 0(0)xviii--471
-
information, 0(0)xvi--133, 5(3)317--343, 11(3)263--317, 13(5)905--923,
13(5)925--933, 15(2)131--177, 15(2)249--291, 27(z)z
-
Infusing, 28(z)z
-
ing, F-, 24(5)529--607
-
inhabitation, 6(5)757--761
-
initial, 0(0)xi--277
-
injective, 9(6)675--698
-
inliner, 12(4)393--434
-
Inlining, 13(3)647--676
-
Inoue, Jun, 26(z)z
-
Inoue:2016:RAM, 26(z)z
-
input, 30(z)z
-
Inputash, 13(1)97--102, 13(1)205--218
-
ins, plug-, 23(5)515--551
-
insider, 23(1)1--37
-
inspection, 15(2)179--217
-
inspired, 0(0)xvii--485
-
Instances, 13(1)139--144
-
instead, 0(0)xviii--471
-
integers, 25(z)z
-
integrated, 10(4)353--395
-
Integrating, 31(z)z
-
integration, 27(z)z
-
Intellect, 13(4)823--824
-
intelligence, 2654(0)xxii--398
-
intensional, 7(1)73--101, 9(5)527--564, 12(6)567--600, 19(3)439--468
-
intensive, float-, 6(4)621--655
-
Interaction, 14(1)125--128
-
interactive, 0(0)xxx--439, 3(1)77--92, 6(5)723--756, 13(6)1077--1085,
17(3)423--424, 27(z)z
-
interested, 0(0)xi--277
-
interfaces, 9(2)167--189, 13(5)839--866, 15(2)179--217, 27(z)z
-
interference, 22(6)797--852
-
Interleaving, 25(z)z
-
International, 6(1)189--193, 2257(0)viii--349
-
interoperability, 8(4)367--412, 28(z)z
-
interpretation, 0(0)xxi--534, 0(0)xxiii--657, 2(4)407--435,
6(2)195--244, 6(3)393--418, 11(1)33--53, 11(2)253--262,
13(4)709--745, 13(4)826--828, 14(4)365--378
-
interpretation, Self-, 1(2)229--233
-
interpretation, self-, 2(3)345--364
-
interpreted, 21(6)585--615
-
interpreters, 0(0)xxiii--657, 15(4)503--542, 19(5)509--543
-
interruptions, 17(6)777--792
-
intersection, 11(3)263--317, 14(5)519--546, 15(5)669--677,
24(2)133--165
-
interval, 3(2)153--169
-
intriguing, 0(0)xi--277
-
introduced, 0(0)xxiii--657
-
introduction, 0(0)vi--142, 0(0)viii--145, 0(0)xv--240, 0(0)xvi--355,
0(0)xvii--485, 0(0)xviii--237, 0(0)xviii--471, 0(0)xx--472,
0(0)xxiii--402, 0(0)z, 1(0)vi--142, 1(2)125--154, 3(1)3--4,
4(2)125--126, 4(4)557--559, 6(2)375--377, 11(2)253--262, 13(1)i--6,
14(1)1--2, 14(2)247--249, 16(4)373--374, 21(1)115--117,
22(6)854--855, 24(5)608--609
-
introductory, 0(0)xxvi--586
-
intuitionistic, 15(1)33--52
-
invariants, 0(0)xiii--448, 26(z)z
-
inversion, 31(z)z
-
invertible, 34(z)z--99999999
-
Inverting, 14(6)603--612
-
involve, 0(0)xviii--471
-
I/O, 5(1)81--110
-
Ionescu, Cezar, 27(z)z
-
Ionescu, Cezar, see Botta, Nicola
-
Iraci, Grant, 32(z)z
-
Iraci, Grant, see Chuang, Cheng-En
-
Ireland, Andrew, 9(2)225--245
-
Ireland:1999:AVF, 9(2)225--245
-
Iris, 28(z)z
-
irrelevance, Proof-, 6(3)519--526
-
Irwin, Robert J., 11(1)117--153
-
Irwin:2001:CBF, 11(1)117--153
-
Isabelle/HOL, 13(2)415--451
-
ISBN, 2(3)365--365, 4(4)557--559, 5(1)131--134, 6(1)189--193,
8(6)633--637, 9(1)105--111, 9(4)479--482, 10(5)501--508,
11(2)253--262, 11(5)589--589, 12(1)89--90, 13(4)826--828,
13(4)828--829, 13(4)829--831, 13(4)831--832, 13(6)1087--1088,
14(2)247--249, 14(2)249--251, 14(5)589--592, 14(5)594--597,
14(5)597--598, 16(2)249--250, 17(3)423--424, 17(3)424--426,
17(3)428--429, 17(6)813--814, 18(3)421--422, 19(2)253--254,
19(2)254--256, 19(2)256--259, 19(6)723--725, 21(2)215--217,
21(2)217--218, 21(6)663--664, 21(6)664--666, 22(2)219--221,
22(6)854--855, 23(2)225--226, 23(2)226--227, 24(1)128--130, 25(z)z,
26(z)z, 30(z)z
-
ISBN-10, 19(2)259--261, 22(2)217--219, 23(3)351--352, 23(3)352--354,
24(2)419--421, 24(2)421--422, 24(4)523--523, 24(5)608--609
-
ISBN-13, 22(6)853--854, 23(3)351--352
-
isomorphic, 30(z)z
-
isomorphisms, 3(4)485--525
-
Isomöttönen, Ville, 25(z)z, see Tirronen, Ville
-
Iterating, 32(z)z
-
Iterative, 0(0)xiii--448
-
Iterator, 19(3)377--402
-
Ivory, Melody Y., 6(4)621--655
-
Ivory, Melody Y., see Hartel, Pieter H.
-
Iwasaki, Hideya, 32(z)z
-
Iwasaki:2022:FFD, 32(z)z