Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
I
-
{I}-Calculus, Lambda-, 16(3)253--285
-
IEEE, 19(1)7--30
-
Imperative-program, 21(1)37--58
-
implementation, 12(1)7--45, 13(1)77--81, 14(4)357--386, 16(4)379--400,
17(3)207--243, 18(3)299--326, 20(3)237--255, 20(4)431--460,
21(3)311--331
-
Implementing, 17(3)207--243, 18(3)355--370
-
implication, 12(1)47--73
-
implicitly, 25(1)127--163
-
important, 16(4)379--400
-
imposes, 16(4)379--400
-
Improved, 18(1)15--49
-
improving, 20(3)271--293, 24(1)3--39, 24(4)281--309
-
Inaba, Kazuhiro, 25(1)3--38
-
Inaba, Kazuhiro, see Matsuda, Kazutaka
-
incremental, 26(1)29--62
-
Incrementalization, 13(4)289--313, 16(1)37--62
-
Induction, 13(1)89--101
-
inequality, 23(1)87--143
-
Inference, Type-, 13(3)239--278
-
inference., 26(1)29--62
-
inflationary, 18(1)51--77
-
Influence, 13(1)65--67
-
Information, 14(1)59--91, 15(2)209--234
-
initial, 19(2)231--262, 19(2)305--337
-
input, 16(4)379--400
-
input-bounded, 18(1)15--49
-
InSphere, 16(4)379--400
-
inspired, 22(4)295--298
-
instruction, 20(3)199--207
-
instrumented-interpreter, 21(1)37--58
-
Integrating, 18(3)327--354
-
interaction, 20(3)295--318, 20(4)431--460, 25(1)85--125
-
interconnects, 24(1)81--114
-
interest, 16(4)379--400
-
intermediate, 17(1)129--163, 21(3)333--358
-
internal, 18(3)299--326
-
interpretation, 17(4)297--345, 19(1)7--30, 19(1)31--100, 19(4)415--463
-
Interpretation, Self-, 13(3)217--237
-
Interpreter, 11(4)355--361, 11(4)363--397, 11(4)405--439, 13(3)161--178,
14(4)387--409
-
interpreter, instrumented-, 21(1)37--58
-
Interpretive, 21(1)37--58
-
Introduced, 22(4)315--329, 22(4)333--359
-
introduction, 11(2)115--116, 11(2)117--123, 12(2)123--124,
13(4)289--313, 22(4)313--314
-
Intuitionistic, 20(4)403--429
-
invariants, 19(1)31--100
-
inverse, 25(1)3--38
-
investigation, 21(3)283--309
-
iterator, 23(1)1--27
-
Ito, Takayasu, 14(4)307--307, 15(1)5--5
-
Ito, Takayasu, see Danvy, Olivier
-
Iwasaki, Hideya, 24(4)281--309
-
Iwasaki:2011:PIS, 24(4)281--309