Index_I

 < Free Open Study > 



I

identity, object, 245

identity function, 55

imperative objects, see objects, imperative

implementations

allsome, 381387

arith, 2349

bot, 220

equirec, 281313

fomsub, 467473

fullequirec, 267280

fullerror, 171178

fullfomsub, 389409, 467473

fullfsub, 389409, 417436

fullfsubref, 411416

fullisorec, 275278

fullomega, 439466

fullpoly, 339379

fullrecon, 317338

fullref, 153170, 225245

fullsimple, 99111, 117146

fullsub, 181208

fulluntyped, 5173

fullupdate, 475489

joinexercise, 223

joinsub, 218220

purefsub, 417436

rcdsub, 181224

recon, 317338

reconbase, 330

simplebool, 113116

tyarith, 9198

untyped, 8388

implicit type annotations, 330331

implicitly typed languages, 101

impredicative polymorphism, 340, 360361

impure language features, 153

induction, 19

lexicographic, 19

logical relations proof technique, 150

mathematical foundations, 282284

on derivations, 37

on natural numbers, 19

on terms, 2932

inductive definitions, 2329

inference, see type reconstruction

inference rules, 26

mathematical foundations, 283

infinite types, 284286

inheritance, 227

overrated, 245

injection into a sum type, 133

instance of an inference rule, 36

instance variables, 228, 230, 233234

instanceof, 341

instantiation of a polymorphic function, 317320, 342

intensional polymorphism, 340

interface, 226

interface types, 479

interfaces (in Java), 261

interference, syntactic control of, 170

intermediate language, 161

intermediate languages, typed, 11

internal language, 53, 120

internet, see web

intersection types, 11, 206207, 359, 489

and bounded quantification, 400, 409

and normal forms, 206

introduction rule, 108

invariant, 33

inversion lemma

subtyping, 188

typing, 94, 104, 188, 457

iso-recursive types, 275, 280

subtyping, 311312



 < Free Open Study > 



Types and Programming Languages
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
Year: 2002
Pages: 262

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net